Dmitry Stefantsov 1b2c267bb2 [cfe] Use unwrapping of nullability constructor in upper bound ...

Previously to unwrap a type in isTop method the declared nullability
was set to Nullability.nonNullable.  This doesn't work for
intersection type because .withDeclaredNullability() doesn't work for
them.  This CL introduces a method that simulates the removal of the
top-level nullability type constructor from a type term, and uses the
method in isTop to account for intersection types and other possible
similar cases in future.

Change-Id: I3e6f30b5d93850b2cf92475a89d09d6d9255089f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/156193
Reviewed-by: Johnni Winther <johnniwinther@google.com>

2020-07-29 14:24:05 +00:00

..

binary

Move BytesBuilder class and implementation to dart:typed_data.

2020-07-24 11:37:21 +00:00

src

[cfe] Move LUB computation to package:kernel

2020-07-27 18:41:12 +00:00

target

[cfe] Add support for keeping const locals during constant evaluation

2020-07-14 12:17:39 +00:00

testing

[cfe] Implement new async return rules

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

text

[cfe] Remove best-effort testing of round-trip text serialization

2020-07-21 11:01:41 +00:00

transformations

Fix a typo in the comment on a transformer.

2020-07-20 10:50:24 +00:00

util

…

vm

…

ast.dart

[cfe] Handle Null/Never-ish spread element types

2020-07-28 06:29:36 +00:00

canonical_name.dart

[kernel] Polish toString implementation on AST nodes

2020-03-27 07:33:38 +00:00

class_hierarchy.dart

[cfe] Use legacy erasure in LUB computation in opt-out libraries

2020-07-29 07:36:34 +00:00

clone.dart

[cfe] Add new flags to AsExpression and IsExpression

2020-01-31 19:55:22 +00:00

core_types.dart

[cfe] Use unwrapping of nullability constructor in upper bound

2020-07-29 14:24:05 +00:00

default_language_version.dart

Increase Dart version to 2.10

2020-07-22 13:22:07 +00:00

error_formatter.dart

…

external_name.dart

[vm/bytecode] Support native extensions

2019-06-27 20:24:25 +00:00

import_table.dart

[CFE] Fix crash with duplicate field and constructor initialization

2019-10-17 10:47:53 +00:00

kernel.dart

[kernel] Remove Library.isExternal

2019-12-02 09:24:42 +00:00

library_index.dart

[vm/ffi] Expose a subset of dart_(native_)api.h for dynamic linking.

2020-06-18 07:30:43 +00:00

naive_type_checker.dart

[cfe] Handle static type of access on Never

2020-04-08 08:46:02 +00:00

reference_from_index.dart

[CFE] Version 2 of incremental compiler invalidation strategy

2020-01-16 07:50:39 +00:00

type_algebra.dart

[cfe] Use unwrapping of nullability constructor in upper bound

2020-07-29 14:24:05 +00:00

type_checker.dart

[cfe] Handle Null/Never-ish spread element types

2020-07-28 06:29:36 +00:00

type_environment.dart

[cfe] Implement new static types for arithmetic operations

2020-07-27 18:40:24 +00:00

verifier.dart

[cfe] Provide better context in verifier's diagnostics

2020-05-26 10:02:05 +00:00

visitor.dart

[cfe,ddc,dart2js,vm] Add FutureOrType

2020-06-15 12:18:46 +00:00