]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/issue-68368-non-defining-use.rs
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
5 #![feature(type_alias_impl_trait)]
7 type Alias
<'a
, U
> = impl Trait
<U
>;
8 fn f
<'a
>() -> Alias
<'a
, ()> {}
9 //~^ ERROR non-defining opaque type use in defining scope
13 impl Trait
<()> for () {}