groovy should not compile for example
abstract class B<T> implements Map<T>{}
or
class A<T extends Number> {} class B<T> extends A<T>{}
fixed
fixed