tests/ui/sized/coinductive-1-gat.rs

   1 // check-pass
   2 struct Node<C: Trait>(C::Assoc::<Self>);
   3
   4 trait Trait {
   5     type Assoc<T>;
   6 }
   7
   8 impl Trait for Vec<()> {
   9     type Assoc<T> = Vec<T>;
  10 }
  11
  12 fn main() {
  13     let _ = Node::<Vec<()>>(Vec::new());
  14 }