[rustc.git] / src / test / ui / type-alias-impl-trait / bound_reduction2.rs

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete

fn main() {}

trait TraitWithAssoc {
    type Assoc;
}

type Foo<V> = impl Trait<V>;

trait Trait<U> {}

impl<W> Trait<W> for () {}

fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
    //~^ ERROR non-defining opaque type use in defining scope
    ()
}
Commit	Line	Data
6a06907d XL	1	// revisions: min_tait full_tait
	2	#![feature(min_type_alias_impl_trait)]
	3	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	4	//[full_tait]~^ WARN incomplete
0531ce1d	5
1b1a35ee	6	fn main() {}
8faf50e0 XL	7
	8	trait TraitWithAssoc {
	9	type Assoc;
	10	}
	11
416331ca	12	type Foo<V> = impl Trait<V>;
8faf50e0 XL	13
8faf50e0 XL	14	trait Trait<U> {}
0531ce1d	15
8faf50e0	16	impl<W> Trait<W> for () {}
0531ce1d	17
ba9703b0	18	fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
1b1a35ee	19	//~^ ERROR non-defining opaque type use in defining scope
8faf50e0	20	()
54a0048b	21	}