mirror of https://github.com/rust-lang/rust
15 lines
298 B
Rust
15 lines
298 B
Rust
//@ 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() {}
|