Uncaught exception when type checking invalid generic inheritance

[JukkaL]

The type checker raises an uncaught exception when checking the following program:

class A<S>
  def f(t as S)
  end
end
class B is A<Int>
end
class C is B<T>
  def g(t as T, d as dynamic)
    f(d)
  end
end