tests/ui/type-alias-impl-trait/missing_lifetime_bound.rs


1
2
3
4
5
6
7

#![feature(type_alias_impl_trait)]

type Opaque<'a, T> = impl Sized;
fn defining<'a, T>(x: &'a i32) -> Opaque<T> { x }
//~^ ERROR: hidden type for `Opaque<'a, T>` captures lifetime that does not appear in bounds

fn main() {}