Add some tests.

Add some failing (in Dart2Js) tests.

Committed: https://code.google.com/p/dart/source/detail?r=6566

[floitsch, 2012-04-14 20:02:01]

Updated test.
A small change in the compiler could infer that int + double always returns a
double. -> guard by a function so that the
propagated type becomes 'number'.

[Lasse Reichstein Nielsen, 2012-04-16 10:43:32]

LGTM

http://codereview.chromium.org/10081039/diff/1005/tests/language/src/ListDoub...
File tests/language/src/ListDoubleIndexInLoopTest.dart (right):

http://codereview.chromium.org/10081039/diff/1005/tests/language/src/ListDoub...
tests/language/src/ListDoubleIndexInLoopTest.dart:10: // combined with 'integer'
(i = 0) was narrowed to 'integer'. As a result no
What kind of type propagation is this? For optimization only?
Narrowing num to int seems like an unsafe analysis.

[floitsch, 2012-04-16 12:08:37]

http://codereview.chromium.org/10081039/diff/1005/tests/language/src/ListDoub...
File tests/language/src/ListDoubleIndexInLoopTest.dart (right):

http://codereview.chromium.org/10081039/diff/1005/tests/language/src/ListDoub...
tests/language/src/ListDoubleIndexInLoopTest.dart:10: // combined with 'integer'
(i = 0) was narrowed to 'integer'. As a result no
On 2012/04/16 10:43:32, Lasse Reichstein Nielsen wrote:
> What kind of type propagation is this? For optimization only?
> Narrowing num to int seems like an unsafe analysis.

Narrowing has uses too. In this case, of course, it's a bug. I will fix it.