tests/ui/impl-trait/in-bindings/escaping-bound-var.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#![feature(impl_trait_in_bindings)]

trait Foo<'a> {
    type Out;
}

impl<'a> Foo<'a> for () {
    type Out = ();
}

fn main() {
    let x: &dyn for<'a> Foo<'a, Out = impl Sized + 'a> = &();
    //~^ ERROR cannot capture late-bound lifetime in `impl Trait` in binding
}