ceylon/ceylon-spec — Issue #152: Typechecker spurious error on `Callable?`
Author: chochos
Created: 2012-01-31 15:30:27+00:00
State: open
Labels: bug

This should be valid code:

````
class SomeType {
shared Integer f() { return 1; }
}

SomeType? obj = null;
Callable? f = obj?.f;
````

However, the last line gives me this error:

`specified expression must be assignable to declared type: Callable is not assignable to Callable?`