Allow null in more 'special' type rules.

Allow null in more 'special' type rules.

We get extra precision from including argument types that produce errors.
e.g. {int} + {int,null} --> {int}.

Nice improvement on some numerical benchmarks where the result is used as an index where we can now use the builtin indexer.

Committed: https://github.com/dart-lang/sdk/commit/9a5640a7d28bcf9a92c0038b3560888fbf51a81b

[sra1, 2015-12-02 21:20:00]

sra@google.com changed reviewers:
+ asgerf@google.com

[sra1, 2015-12-02 23:43:53]

Description was changed from

==========
Allow null in more 'special' type rules.

We get extra precision from including argument types that produce errors.
e.g. {int} + {int,null} --> {int}.

Nice improvement on some numerical benchmarks where the result is used as an
index where we can now use the builtin indexer.
==========

to

==========
Allow null in more 'special' type rules.

We get extra precision from including argument types that produce errors.
e.g. {int} + {int,null} --> {int}.

Nice improvement on some numerical benchmarks where the result is used as an
index where we can now use the builtin indexer.

Committed:
https://github.com/dart-lang/sdk/commit/9a5640a7d28bcf9a92c0038b3560888fbf51a81b
==========

[sra1, 2015-12-02 23:43:54]

Committed patchset #1 (id:1) manually as
9a5640a7d28bcf9a92c0038b3560888fbf51a81b (presubmit successful).

[asgerf, 2015-12-03 11:40:02]

Nice, lgtm, but why only for the right operand?

Could we not get {int,null} + {int,null} -> int?