mirror of https://github.com/rust-lang/rust
19 lines
492 B
Rust
19 lines
492 B
Rust
// The defining use below has an unconstrained lifetime argument.
|
|
// Opaque<'{empty}, 'a> := ();
|
|
// Make sure we accept it because the lifetime parameter in such position is
|
|
// irrelevant - it is an artifact of how we internally represent opaque
|
|
// generics.
|
|
// See issue #122307 for details.
|
|
|
|
//@ check-pass
|
|
#![feature(type_alias_impl_trait)]
|
|
#![allow(unconditional_recursion)]
|
|
|
|
type Opaque<'a> = impl Sized + 'a;
|
|
|
|
fn test<'a>() -> Opaque<'a> {
|
|
let _: () = test::<'a>();
|
|
}
|
|
|
|
fn main() {}
|