| //@ revisions: current next | |
| //@ ignore-compare-mode-next-solver (explicit revisions) | |
| //@[next] compile-flags: -Znext-solver --diagnostic-width=300 | |
| //@[current] compile-flags: --diagnostic-width=300 | |
| #![feature(coroutines, stmt_expr_attributes)] | |
| //@ normalize-stderr: "std::pin::Unpin" -> "std::marker::Unpin" | |
| use std::marker::Unpin; | |
| fn assert_unpin<T: Unpin>(_: T) {} | |
| fn main() { | |
| let mut coroutine = #[coroutine] | |
| static || { | |
| yield; | |
| }; | |
| assert_unpin(coroutine); //~ ERROR E0277 | |
| } |