]>
Commit | Line | Data |
---|---|---|
c295e0f8 XL |
1 | // Regression test for issue #68368 |
2 | // Ensures that we don't ICE when emitting an error | |
3 | // for a non-defining use when lifetimes are involved | |
4 | ||
5 | #![feature(type_alias_impl_trait)] | |
6 | trait Trait<T> {} | |
7 | type Alias<'a, U> = impl Trait<U>; | |
ee023bcb | 8 | |
c295e0f8 XL |
9 | fn f<'a>() -> Alias<'a, ()> {} |
10 | //~^ ERROR non-defining opaque type use in defining scope | |
11 | ||
12 | fn main() {} | |
13 | ||
14 | impl<X> Trait<X> for () {} |