ceylon/ceylon-spec — Issue #224: Generic method with generic specifier
Author: tombentley
Created: 2012-03-09 09:53:38+00:00
State: open

The type checker produces errors when it encounters a type-parameterized method with a generic specification.

```
X f(Y y) {
throw;
}
class C() {
S bar(T y) = f; // OK
A baz(B y) = f; // ERROR
}
```

The errors are:

* specified value must be a reference to a function or class: unknown is not a subtype of Callable
* could not determine type of method or attribute reference: f
* type declaration not found: A
* type declaration not found: B