tests/rustdoc-ui/issue-96287.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 pub trait TraitWithAssoc {
   4     type Assoc;
   5 }
   6
   7 pub type Foo<V> = impl Trait<V::Assoc>;
   8 //~^ ERROR
   9 //~^^ ERROR
  10
  11 pub trait Trait<U> {}
  12
  13 impl<W> Trait<W> for () {}
  14
  15 pub fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
  16     ()
  17 }