mjc crashes when the superclass'es constructor is called using super(...) if
- the constructor of the superclass takes a parameter whose type is a type variable
- the type of the argument type passed to the constructor is a type variable
Here's an example:
class Base<A> {
Base(A a) {
}
}
class Extension<B> extends Base<B> {
Extension(B b) {
super(b);
}
}