type Foo;

impl Foo < Foo {} // out: NameError: class "Foo" inherits from itself