search

ceylon / ceylon-spec

DEPRECATED
Apache License 2.0
108 stars 34 forks source link

reject spread method on the Iterable type #1433

Closed jvasileff closed 9 years ago

jvasileff commented 9 years ago

This is accepted by the type checker, but appears to be wrong two different ways:

Integer[]({Integer+}) f = Iterable<Integer, Nothing>*.first;
gavinking commented 9 years ago

Thanks, @jvasileff, fixed. Embarrassing oversight.