blob: e97819e4122da023e08cd54c67629410f305c576 [file] [log] [blame] [edit]
//@ check-pass
trait A<T> {}
struct B<T> where B<T>: A<B<T>> { t: T }
fn main() {}