ceylon/ceylon-spec — Issue #143: Type arg inference broken for callable parameters
Author: gavinking
Created: 2012-01-21 19:03:53+00:00
State: open
Labels: bug

Given:

Iterable map(Iterable xs, Y f(X x)) {throw;}
Integer f(String s) { return s.size; }
value iter2 = map2({"hello", "world"},f);

The inferred type of `Y` is `Callable` rather than `Integer`.