]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | #![feature(type_alias_impl_trait)] |
136023e0 XL |
2 | |
3 | type X<'a, 'b> = impl std::fmt::Debug; | |
4 | ||
5 | fn f<'t, 'u>(a: &'t u32, b: &'u u32) -> (X<'t, 'u>, X<'u, 't>) { | |
136023e0 | 6 | (a, a) |
ee023bcb | 7 | //~^ ERROR concrete type differs from previous defining opaque type use |
136023e0 XL |
8 | } |
9 | ||
10 | fn main() {} |