3 // revisions: min_tait full_tait
4 #![feature(min_type_alias_impl_trait)]
5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
6 //[full_tait]~^ WARN incomplete
7 #![deny(improper_ctypes)]
17 type Bar = impl Foo<Assoc = u32>;
22 pub fn lint_me() -> <Bar as Foo>::Assoc;