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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

//@ check-pass
struct Node<C: Trait>(C::Assoc::<Self>);

trait Trait {
    type Assoc<T>;
}

impl Trait for Vec<()> {
    type Assoc<T> = Vec<T>;
}

fn main() {
    let _ = Node::<Vec<()>>(Vec::new());
}