src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs


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

// check-pass

#![feature(type_alias_impl_trait)]
type Opaque<T> = impl Sized;
fn defining<T>() -> Opaque<T> {}
struct Ss<'a, T>(&'a Opaque<T>);


fn test<'a, T>(_: Ss<'a, T>) {
    // test that we have an implied bound `Opaque<T>: 'a` from fn signature
    None::<&'a Opaque<T>>;
}

fn main() {}