22 lines
381 B
Rust
22 lines
381 B
Rust
|
// check-pass
|
||
|
|
#![feature(type_alias_impl_trait)]
|
||
|
|
|
||
|
|
fn opaque<'a: 'a>() -> impl Sized {}
|
||
|
|
fn assert_static<T: 'static>(_: T) {}
|
||
|
|
|
||
|
|
fn test_closure() {
|
||
|
|
let closure = |_| {
|
||
|
|
assert_static(opaque());
|
||
|
|
};
|
||
|
|
closure(&opaque());
|
||
|
|
}
|
||
|
|
|
||
|
|
type Opaque<'a> = impl Sized;
|
||
|
|
fn define<'a>() -> Opaque<'a> {}
|
||
|
|
|
||
|
|
fn test_tait(_: &Opaque<'_>) {
|
||
|
|
None::<&'static Opaque<'_>>;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|