[rustc.git] / src / test / ui / type-alias-impl-trait / issue-68368-non-defining-use.rs

// Regression test for issue #68368
// Ensures that we don't ICE when emitting an error
// for a non-defining use when lifetimes are involved

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete
trait Trait<T> {}
type Alias<'a, U> = impl Trait<U>;
fn f<'a>() -> Alias<'a, ()> {}
//~^ ERROR non-defining opaque type use in defining scope

fn main() {}

impl Trait<()> for () {}
Commit	Line	Data
dfeec247 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
6a06907d XL	5	// revisions: min_tait full_tait
	6	#![feature(min_type_alias_impl_trait)]
	7	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	8	//[full_tait]~^ WARN incomplete
dfeec247	9	trait Trait<T> {}
ba9703b0	10	type Alias<'a, U> = impl Trait<U>;
dfeec247	11	fn f<'a>() -> Alias<'a, ()> {}
ba9703b0	12	//~^ ERROR non-defining opaque type use in defining scope
dfeec247 XL	13
	14	fn main() {}
	15
	16	impl Trait<()> for () {}