Chetan Sachdeva
class ClassA<B: ClassB<*>> { } class ClassB<A: ClassA<*>> { }
This type parameter violates the Finite Bound Restriction
<*>
class ClassA<B: ClassB> {} class ClassB<A: ClassA> {}
Vampire
ClassA
ClassB
A modern programming language that makes developers happier.