Function names_impl_trait 

fn names_impl_trait(ty: &Type) -> bool

Whether ty spells an impl Trait anywhere (impl AsRef<str>, Vec<impl Display>).