tree 99e729284366fee8e1803827b8fafb3c0fa4d899
parent 0e5d18f2817e86e23015dab3317b807159215108
author Vijay Menon <vsm@google.com> 1558710265 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1558710265 +0000

[dartdevc] preliminary nnbd support

For analyzer backend only:
* Implements `x!`
* Uses non-null type info where possible to elide null checks.
* Does not yet reify.

No hurry on this - starting to look at what's there.  Some notes:
* NNBD doesn't seem to be exposed directly on DartType yet.
* x!.y doesn't seem to parse - need to write (x!).y.
* Can't run existing tests yet - `package:expect`, etc., have NNBD errors.

Change-Id: I58c24c950d00f3a40d789d4a7adf049786977c50
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/103040
Commit-Queue: Vijay Menon <vsm@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>