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

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

fn main() { }