diff options
Diffstat (limited to 'tests/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.rs')
-rw-r--r-- | tests/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.rs b/tests/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.rs new file mode 100644 index 000000000..5e0a82a72 --- /dev/null +++ b/tests/ui/type-alias-impl-trait/issue-68368-non-defining-use-2.rs @@ -0,0 +1,14 @@ +// Regression test for issue #68368 +// Ensures that we don't ICE when emitting an error +// for a non-defining use when lifetimes are involved + +#![feature(type_alias_impl_trait)] +trait Trait<T> {} +type Alias<'a, U> = impl Trait<U>; + +fn f<'a>() -> Alias<'a, ()> {} +//~^ ERROR expected generic type parameter, found `()` + +fn main() {} + +impl<X> Trait<X> for () {} |