Add test for Nullable-By-Default (Null is subtype of all types).

Add test for Nullable-By-Default (Null is subtype of all types).

R=floitsch@google.com

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

[Lasse Reichstein Nielsen, 2016-12-15 15:35:28]

lrn@google.com changed reviewers:
+ floitsch@google.com

[Lasse Reichstein Nielsen, 2016-12-15 15:35:28]

Initial version

[floitsch, 2016-12-20 10:52:58]

LGTM.

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
File tests/language/null_bottom_test.dart (right):

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
tests/language/null_bottom_test.dart:10: bool checkedMode = () { bool c = false;
assert(c = true); return c; } ();
isCheckedMode

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
tests/language/null_bottom_test.dart:98: Expect.isTrue(l is List<Fun<int,
Null>>);
Why is that?
a List of Null->Null should not be a List of int->Null.

[Lasse Reichstein Nielsen, 2017-01-02 12:48:51]

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
File tests/language/null_bottom_test.dart (right):

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
tests/language/null_bottom_test.dart:10: bool checkedMode = () { bool c = false;
assert(c = true); return c; } ();
On 2016/12/20 10:52:58, floitsch wrote:
> isCheckedMode

Done.

https://codereview.chromium.org/2577083002/diff/1/tests/language/null_bottom_...
tests/language/null_bottom_test.dart:98: Expect.isTrue(l is List<Fun<int,
Null>>);
On 2016/12/20 10:52:58, floitsch wrote:
> Why is that?
> a List of Null->Null should not be a List of int->Null.

Done.

[Lasse Reichstein Nielsen, 2017-01-02 12:49:50]

@johnniwinther FYI

[Lasse Reichstein Nielsen, 2017-01-04 13:20:34]

Description was changed from

==========
Add test for Nullable-By-Default (Null is subtype of all types).
==========

to

==========
Add test for Nullable-By-Default (Null is subtype of all types).

R=floitsch@google.com

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

[Lasse Reichstein Nielsen, 2017-01-04 13:20:35]

Committed patchset #3 (id:40001) manually as
cbf69e80b471d3f9e06fd041f788abe48ab1c41c (presubmit successful).