[rustc.git] / src / test / ui / type-alias-impl-trait / not_well_formed.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::Assoc>; //~ associated type `Assoc` not found for `V`

trait Trait<U> {}

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

fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
    ()
}
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
a7813a04	6	fn main() {
8faf50e0 XL	7	}
	8
	9	trait TraitWithAssoc {
	10	type Assoc;
	11	}
	12
416331ca	13	type Foo<V> = impl Trait<V::Assoc>; //~ associated type `Assoc` not found for `V`
8faf50e0 XL	14
8faf50e0 XL	15	trait Trait<U> {}
0531ce1d	16
8faf50e0	17	impl<W> Trait<W> for () {}
0531ce1d	18
8faf50e0 XL	19	fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
8faf50e0 XL	20	()
54a0048b	21	}