Johnni Winther 942f765763 [cfe] Use semantic nullability for "is non-nullable" queries in UP/DOWN ...

Previously declaredNullability was used which missed that FutureOr<Function?>
is nullable.

+ add computation, test and use of NonNull in UP/DOWN

Closes #43742

Change-Id: Icf0b95143a85abb5eec056ee0aea23ef40a5283a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/168946
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>

2020-10-23 14:58:42 +00:00

..

mock_sdk_component.dart

[cfe] Implement NNBD-aware lower / upper bound algorithms

2019-12-12 11:00:21 +00:00

mock_sdk.dart

[cfe] Move type parser to package:kernel

2020-01-21 14:37:32 +00:00

type_parser_environment.dart

[cfe] Implement new async return rules

2020-07-06 07:04:40 +00:00

type_parser.dart

[cfe] Use semantic nullability for "is non-nullable" queries in UP/DOWN

2020-10-23 14:58:42 +00:00