JukkaL/alore — Issue #11: Uncaught exception when type checking invalid generic inheritance
Author: JukkaL
Created: 2012-02-07 14:37:35+00:00
State: open
Labels: bug minor

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

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