src/test/ui/issues/issue-19601.rs

// check-pass

trait A<T> {}
struct B<T> where B<T>: A<B<T>> { t: T }

fn main() {}