Chloe Stefantsova b0a91e2eb4 [cfe] Only eliminate type variable itself in its bound in UP ...

Previously, UP was eliminating all free variables in the bound instead
of just the variable with that bound.

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

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

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

..

binary

[kernel] Calculate scopes for expression evaluation differently

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

src

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

2023-11-27 11:06:52 +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] Update ast-to-text

2023-11-09 10:13:13 +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

[kernel] Calculate scopes for expression evaluation differently

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

default_language_version.dart

Reland "Bump version to 3.3."

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

error_formatter.dart

…

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

…

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