Nicholas Shahan 9b04db0683 [ddc] Avoid null checks on the result of ! op ...

Change the non-nullable inference to treat the result of the null
check operator as non-nullable, otherwise it will already fail at
runtime.

Compiled code examples:

dart:      `nullableInt!.isEven`
js before: `dart.notNull(dart.nullCheck(nullableInt)).isEven`
js after:  `dart.nullCheck(nullableInt).isEven`

dart:      `if (nullableBool!)`
js before: `if (dart.test(dart.nullCheck(nullableBool)))`
js after:  `if (dart.nullCheck(nullableBool))`

Change-Id: I98c4a4637b29568ddbd27a539095b6c2b2951c22

Issue: https://github.com/dart-lang/sdk/issues/42754
Change-Id: I98c4a4637b29568ddbd27a539095b6c2b2951c22
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/155069
Reviewed-by: Mark Zhou <markzipan@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>
Commit-Queue: Nicholas Shahan <nshahan@google.com>

2020-07-21 21:42:45 +00:00

..

js

Reland "Revert "[dartdevc] record metrics""

2020-03-23 12:16:13 +00:00

src

[ddc] Avoid null checks on the result of ! op

2020-07-21 21:42:45 +00:00

dev_compiler.dart

add --dartdevc-module-format argument to frontend_server

2020-04-03 16:10:46 +00:00