src/test/ui/cycle-trait/cycle-trait-default-type-trait.rs

// Test a cycle where a type parameter on a trait has a default that
// again references the trait.

trait Foo<X = Box<Foo>> {
    //~^ ERROR cycle detected
}

fn main() { }