2016-12-23 19:31:38 +00:00
|
|
|
/* @flow */
|
|
|
|
|
|
2017-04-08 16:52:38 +02:00
|
|
|
(([1, 2]: Array<number>): Iterable<number>);
|
|
|
|
|
([1,2,"hi"]: Iterable<number | string>);
|
|
|
|
|
([1,2,3]: Iterable<*>);
|
2016-12-23 19:31:38 +00:00
|
|
|
|
2017-04-08 16:52:38 +02:00
|
|
|
(["hi"]: Iterable<number>); // Error string ~> number
|
|
|
|
|
(["hi", 1]: Iterable<string>); // Error number ~> string
|
