Johnni Winther 7cc2553fa1 [_fe_shared_analyzer] Use real exhaustiveness checking algorithm ...

This changes the analyzer and CFE to use the real exhaustiveness
checking algorithm. The fallback algorithm is kept and will be
removed once we know that the real exhaustiveness algorithm sticks.

Change-Id: Ic9df92c1ca9f7dec4cbdfa138dc6ed39ef2d4df5
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/288703
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>

2023-03-17 16:45:35 +00:00

..

binary

[cfe] Clean up properties on Pattern classes

2023-03-16 11:43:58 +00:00

src

[_fe_shared_analyzer] Use real exhaustiveness checking algorithm

2023-03-17 16:45:35 +00:00

target

[tfa,dart2wasm] Create separate class for each record shape in TFA

2023-03-07 18:06:42 +00:00

testing

[cfe] Use isNonNullableByDefault instead of [Library]

2023-02-22 21:28:28 +00:00

text

[kernel] Move Pattern nodes to package:kernel

2023-03-13 08:43:07 +00:00

transformations

Spelling

2023-01-30 18:29:59 +00:00

util

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

ast.dart

[cfe] Clean up properties on Pattern classes

2023-03-16 11:43:58 +00:00

canonical_name.dart

[kernel] Rename View* to Inline*

2022-12-14 08:36:57 +00:00

class_hierarchy.dart

[cfe] Support implements clause on inline classes

2023-02-23 08:07:44 +00:00

clone.dart

[cfe] Clean up properties on Pattern classes

2023-03-16 11:43:58 +00:00

core_types.dart

[cfe] Support implements clause on inline classes

2023-02-23 08:07:44 +00:00

default_language_version.dart

[3.0 alpha] Bump version to 3.0.0

2022-12-06 02:40:36 +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

Replace Uri.scheme == with Uri.isScheme

2022-02-08 21:38:57 +00:00

kernel.dart

Change : to = for default values in pkg.

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

library_index.dart

[pkg:js] Refactor mock creation to export creation

2022-10-24 17:37:09 +00:00

naive_type_checker.dart

[cfe] Unify handling of 'resolveTypeParameterType'.

2022-10-06 10:38:39 +00:00

reference_from_index.dart

[kernel] Rename View* to Inline*

2022-12-14 08:36:57 +00:00

type_algebra.dart

[cfe] Add support for inline class field access

2023-01-04 14:46:03 +00:00

type_checker.dart

[cfe] Clean up properties on Pattern classes

2023-03-16 11:43:58 +00:00

type_environment.dart

[cfe] Remove ConstantEvaluator.libraryOf

2023-03-16 13:37:19 +00:00

verifier.dart

[Reland][cfe] Support external constructor with final fields

2023-01-17 17:29:28 +00:00

visitor.dart

[kernel] Move Pattern nodes to package:kernel

2023-03-13 08:43:07 +00:00