mirror of https://github.com/rust-lang/rust
20 lines
454 B
Rust
20 lines
454 B
Rust
#![feature(type_alias_impl_trait)]
|
|
|
|
mod case1 {
|
|
type Opaque<'x> = impl Sized + 'x;
|
|
fn foo<'s>() -> Opaque<'s> {
|
|
let _ = || { let _: Opaque<'s> = (); };
|
|
//~^ ERROR expected generic lifetime parameter, found `'_`
|
|
}
|
|
}
|
|
|
|
mod case2 {
|
|
type Opaque<'x> = impl Sized + 'x;
|
|
fn foo<'s>() -> Opaque<'s> {
|
|
let _ = || -> Opaque<'s> {};
|
|
//~^ ERROR expected generic lifetime parameter, found `'_`
|
|
}
|
|
}
|
|
|
|
fn main() {}
|