Chloe Stefantsova 47ba2f23a1 [cfe] Use semantic nullability in subtype case of least upper bound ...

Previously, the declared nullability was used, which doesn't account
for extension types that don't extend Object.

Closes https://github.com/dart-lang/sdk/issues/62242

Change-Id: I2ecf7f8fd53c362468523412b0b59037943e2971
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/473240
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>

2026-01-15 03:39:31 -08:00

..

ast

Reland "[ DDC / CFE ] Add support for allowing imports of unsupported libraries"

2025-12-19 12:53:22 -08:00

tool

[kernel] Add tool for checking AST equivalence

2025-03-04 03:54:48 -08:00

assumptions.dart

[kernel] Delete unused code

2024-02-29 17:28:01 +00:00

bounds_checks.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

constant_replacer.dart

[cfe] Use StructuralParameters in TypedefTearOff and TypedefTearOffConstant

2024-03-22 13:01:05 +00:00

coverage.dart

[cfe] Start emititng new variable nodes when the experiment is on

2025-11-20 01:33:37 -08:00

dart_type_equivalence.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

debug_helpers.dart

[cfe] Use LookupResult for constructor lookup

2025-07-29 04:41:21 -07:00

equivalence_helpers.dart

[kernel] Delete unused code

2024-02-29 17:28:01 +00:00

equivalence.dart

[cfe] Assign captured contexts to FunctionNodes

2025-12-16 05:14:41 -08:00

extension_type_erasure.dart

[analyzer][cfe] Share the implementation of the Variance class

2024-04-10 13:08:55 +00:00

find_type_visitor.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

future_value_type.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

heap.dart

…

hierarchy_based_type_environment.dart

[cfe] Remove isNonNullableByDefault from class hierarchy

2024-06-03 06:42:54 +00:00

merge_visitor.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

nnbd_top_merge.dart

[cfe] Remove Nullability.legacy

2025-07-02 23:50:12 -07:00

node_creator.dart

[kernel] Make InvalidExpression.message non-nullable

2025-11-27 05:15:04 -08:00

non_null.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

norm.dart

[cfe] Remove Nullability.legacy

2025-07-02 23:50:12 -07:00

printer.dart

[cfe] Use VariableInitialization in ForStatement and similar nodes

2025-12-08 04:56:51 -08:00

replacement_visitor.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

standard_bounds.dart

[cfe] Use semantic nullability in subtype case of least upper bound

2026-01-15 03:39:31 -08:00

text_util.dart

[cfe] Remove Nullability.legacy

2025-07-02 23:50:12 -07:00

types.dart

[cfe] Introduce Kernel AST node for the closure expreiment

2025-10-17 02:16:25 -07:00

unaliasing.dart

[cfe] Remove Nullability.legacy

2025-07-02 23:50:12 -07:00

union_find.dart

[kernel] Delete unused code

2024-02-29 17:28:01 +00:00