about summary refs log tree commit diff
path: root/tests/ui/impl-trait/issues/issue-58504.rs
blob: 57119671680ed6627ba071336034caf388ba48ca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#![feature(coroutines, coroutine_trait, never_type)]

use std::ops::Coroutine;

fn mk_gen() -> impl Coroutine<Return=!, Yield=()> {
    #[coroutine] || { loop { yield; } }
}

fn main() {
    let gens: [impl Coroutine<Return=!, Yield=()>;2] = [ mk_gen(), mk_gen() ];
    //~^ ERROR `impl Trait` is not allowed in the type of variable bindings
}