spec for #1302, adjustment to type inference algorithm resulting from proposals by @RossTate and @jvasileff
spec for #1302, adjustment to type inference algorithm resulting from
proposals by @RossTate and @jvasileff
ceylon/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec