blob: 428194058c34d65cd96833ae7b5af559a58b91ef (
plain)
1
2
3
4
5
6
7
|
#![feature(type_alias_impl_trait)]
type Opaque<'a, T> = impl Sized;
fn defining<'a, T>(x: &'a i32) -> Opaque<T> { x }
//~^ ERROR: non-defining opaque type use in defining scope
fn main() {}
|