1 2 3 4 5 6 7 8 9
// compile-pass // skip-codegen #![allow(warnings)] trait A<T> {} struct B<T> where B<T>: A<B<T>> { t: T } fn main() { }