// check-pass#![feature(type_alias_impl_trait)]traitDuh{}implDuhfori32{}traitTrait{typeAssoc: Duh;}impl<F: Duh>TraitforF{typeAssoc=F;}typeTraitable=implTrait<Assoc=implSend>;//~^ WARN opaque type `Traitable` does not satisfy its associated type boundsfnfoo()-> Traitable{42}fnmain(){}