trait Foo {
//~^ ERROR cycle detected
type Context<'c>
where
Self: 'c;
}
impl Foo for Box<dyn Foo> {}
fn main() {}