Erik Ernst f9d64593ff Adjust UP to move the intersection type rules up ...

This CL implements the spec change in https://github.com/dart-lang/language/pull/3435. It changes the implementation of UP in the CFE and in the analyzer such that it matches the updated specification in language PR dart-lang/language#3435.

Change-Id: I2fb56c11e671e6917baffb89f9fb231072d22a0a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/333922
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Erik Ernst <eernst@google.com>

2023-12-11 08:31:10 +00:00

..

binary

[kernel] Calculate scopes for expression evaluation differently

2023-11-06 09:38:40 +00:00

src

Adjust UP to move the intersection type rules up

2023-12-11 08:31:10 +00:00

target

[vm/aot/tfa] Whole-program propagation of closure values

2023-10-12 16:16:21 +00:00

testing

[cfe] Handle various cases ExtensionType

2023-11-02 10:42:48 +00:00

text

[CFE] More dart scope calculator stuff

2023-12-04 11:25:19 +00:00

transformations

[kernel] Add ExtensionTypeDeclaration.procedures

2023-10-13 07:42:29 +00:00

util

Fix incorrect file reference in license headers

2023-09-18 06:44:08 +00:00

ast.dart

[cfe] Make extension type non-nullable only if it implements Object

2023-11-15 14:02:35 +00:00

canonical_name.dart

[cfe] Add TypeDeclarationType and asInstanceOf

2023-10-26 08:46:48 +00:00

class_hierarchy.dart

[cfe] Handle various cases ExtensionType

2023-11-02 10:42:48 +00:00

clone.dart

[cfe] Addressing suggestions for StructuralParameter. Part 1

2023-09-27 08:18:58 +00:00

const_finder.dart

[cfe] Copy const_finder visitor from Flutter SDK

2023-09-19 12:19:26 +00:00

core_types.dart

[cfe] Report error on bottom type used as representation type

2023-10-24 10:28:09 +00:00

dart_scope_calculator.dart

[CFE] More dart scope calculator stuff

2023-12-04 11:25:19 +00:00

default_language_version.dart

Reland "Bump version to 3.3."

2023-10-06 19:00:58 +00:00

error_formatter.dart

[kernel] Reland: Migrate remaining bin/lib libraries in package:kernel

2021-04-28 14:36:53 +00:00

external_name.dart

[vm] Remove support for old native "<name>" syntax in VM

2022-11-01 09:35:02 +00:00

import_table.dart

[cfe] Remove unnecessary_null_comparison code

2023-06-08 08:46:47 +00:00

kernel.dart

Change : to = for default values in pkg.

2022-08-24 15:57:16 +00:00

library_index.dart

[CFE] Add support for indexing extension types

2023-11-10 19:28:00 +00:00

naive_type_checker.dart

[cfe] Handle member access on extension type receivers

2023-11-06 13:51:05 +00:00

reference_from_index.dart

[cfe] Add representation field to ExtensionTypeDeclaration

2023-10-19 10:15:25 +00:00

type_algebra.dart

[cfe] Only eliminate type variable itself in its bound in UP

2023-11-27 11:06:52 +00:00

type_checker.dart

[cfe] Handle member access on extension type receivers

2023-11-06 13:51:05 +00:00

type_environment.dart

[cfe] Handle member access on extension type receivers

2023-11-06 13:51:05 +00:00

verifier.dart

[cfe] Erasure extension types in constants

2023-11-10 10:42:51 +00:00

visitor.dart

[cfe] Introduce StructuralParameters

2023-09-25 10:44:41 +00:00