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

..

binary

[kernel] Make InvalidExpression.message non-nullable

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

src

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

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

target

[kernel] Update supportsLateFields reference in documentation

2026-01-05 02:56:51 -08:00

testing

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

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

text

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

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

transformations

[tfa,aot,dart2wasm] Allow tree-shaking of extension type members independently of their tear-offs

2024-12-18 06:10:31 -08:00

util

[cfe] Remove library fasta.* names

2024-11-14 07:32:21 +00:00

ast.dart

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

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

canonical_name.dart

[kernel] Delete unused code

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

class_hierarchy.dart

[CFE/kernel] Clear invalidated ClassHierarchySubtypes

2025-11-25 02:01:16 -08:00

clone.dart

[cfe] Use ExpressionVariable in ForInStatement and similar nodes

2025-12-11 01:38:24 -08:00

const_finder.dart

[kerne] Remove type parameter from RecursiveVisitor

2024-02-19 07:51:43 +00:00

constructor_tearoff_lowering.dart

[macros] Split out modular parts of package:vm into package:vm/modular.

2024-02-27 13:00:17 +00:00

core_types.dart

[cfe] Remove Nullability.legacy

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

dart_scope_calculator.dart

[CFE] Fix crash in expression evaluation related to type parameters

2025-09-05 00:05:41 -07:00

default_language_version.dart

[release] Increase version on main to 3.12

2026-01-07 00:02:21 -08:00

error_formatter.dart

…

extension_table.dart

[cfe] Add isInternalImplementation to Extension(Type)MemberDescriptor

2025-05-12 00:26:25 -07:00

external_name.dart

…

import_table.dart

[dart2wasm][vm] Fix deferred loading with mixin deduplication.

2025-11-21 10:29:51 -08:00

kernel.dart

[dart2wasm] Dynamic modules

2025-02-11 13:59:46 -08:00

library_index.dart

[dart2js] Use addUnused method for unused fields in proto shaker

2024-08-06 21:58:29 +00:00

naive_type_checker.dart

[cfe] Cleanup interface of subtype queries

2025-06-13 02:02:54 -07:00

names.dart

[cfe] Remove use of 'fasta' in (file)names

2024-11-20 14:22:56 +00:00

reference_from_index.dart

[cfe] Lookup references from index when creating builders

2024-10-04 09:14:00 +00:00

type_algebra.dart

[cfe] Introduce Kernel AST node for the closure expreiment

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

type_checker.dart

[cfe] Use ExpressionVariable in ForInStatement and similar nodes

2025-12-11 01:38:24 -08:00

type_environment.dart

Format {_fe_analyzer_shared,front_end,kernel}/lib; update generated files to match package version

2025-08-07 06:07:21 -07:00

verifier.dart

[cfe] Use ExpressionVariable in ForInStatement and similar nodes

2025-12-11 01:38:24 -08:00

visitor.dart

[cfe] Use VariableInitialization in ForStatement and similar nodes

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