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

// build-pass (FIXME(62277): could be check-pass?)
trait A<T: A<T>> {}

fn main() {}