tree 6f60071ccdc786583186b9b05e36b20539df740d
parent 28f701982bd32a6c39cc89f8a2fda5c7f8ad2e31
author Paul Berry <paulberry@google.com> 1558631721 +0000
committer Paul Berry <paulberry@google.com> 1558631721 +0000

Introduce a representation of the type `Never?`.

This type is equivalent to the existing type `Null`, but we need it
anyway because `Null` can only be accessed via the type provider, and
there are circumstances where we need to create this type and don't
have access to the type provider.

It also may prove beneficial to be able to distinguish between `Null`
and `Never?` in diagnostic messages.

Change-Id: I6118e87c8c4736a508a3f366f2762a96198db7ca
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/103540
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Mike Fairhurst <mfairhurst@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>