Johnni Winther 0d47ba6890 [_fe_analyzer_shared] Remove RecordStaticType.isSubtypeOfInternal ...

This method caused invalid exhaustiveness checking by seeing
record types as related based solely on the structure.

The original purpose of the methods has been removed in the mean time
by the change to restrict the created spaces by the matched value
type.

Closes #52800

Change-Id: I8fb581374a4813dc63261d9e1354c4eea94f212c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/312982
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>

2023-07-11 12:19:39 +00:00

..

base

[cfe] Remove unnecessary_null_comparison code

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

exhaustiveness

[_fe_analyzer_shared] Remove RecordStaticType.isSubtypeOfInternal

2023-07-11 12:19:39 +00:00

experiments

[vm/ffi] dartdev CLI native-assets

2023-05-30 09:10:28 +00:00

flow_analysis

Flow analysis: add field promotion support for cascades.

2023-06-17 08:13:20 +00:00

macros

Add a disposeMacro api, with TODOs in the implementations to call it.

2023-07-10 12:01:49 +00:00

messages

[dart2wasm] Add option and target for stringref.

2023-06-21 14:25:38 +00:00

parser

[parser] Use endInvalidYieldStatement for async methods

2023-06-14 12:10:59 +00:00

scanner

[cfe] Use Uint8List instead of List<int> for representing bytes

2023-06-26 08:07:13 +00:00

sdk

Migrate _fe_analyzer_shared to null safety.

2020-12-12 03:22:29 +00:00

testing

[cfe] Remove unnecessary_null_comparison code

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

type_inference

Field promotion: track field accesses via SSA node.

2023-06-04 19:41:54 +00:00

util

[cfe] Remove unnecessary_null_comparison code

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

deferred_function_literal_heuristic.dart

Ensure that deferred function literals are visited in source order during each type inference stage.

2022-04-12 15:24:22 +00:00