| #![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 | |
| } |