19 lines
490 B
Rust
19 lines
490 B
Rust
//@ revisions: current next
|
|
//@ ignore-compare-mode-next-solver (explicit revisions)
|
|
//@[next] compile-flags: -Znext-solver
|
|
|
|
//@[next] build-fail
|
|
// Deeply normalizing writeback results of opaques makes this into a post-mono error :(
|
|
|
|
#![feature(coroutines)]
|
|
#![allow(unconditional_recursion)]
|
|
fn coroutine_hold() -> impl Sized {
|
|
#[coroutine] move || { //~ ERROR recursion in a coroutine requires boxing
|
|
let x = coroutine_hold();
|
|
yield;
|
|
x;
|
|
}
|
|
}
|
|
|
|
fn main() {}
|