Chloe Stefantsova 669bcef1a6 [model] Introduce isErroneous flag on Members in Kernel ...

The flag is used to signal known issues with members, so that the
verifier could skip on checking assumptions for well-formed programs.

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

TEST=existing

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

2025-04-23 01:15:43 -07:00

..

binary

[kernel] Read constant table before deserializing metadata in BinaryBuilder.

2025-04-09 08:31:13 -07:00

src

[model] Introduce isErroneous flag on Members in Kernel

2025-04-23 01:15:43 -07:00

target

[kernel] Remove NonNullableByDefaultCompiledMode

2025-03-19 01:37:07 -07:00

testing

Move pkg/kernel to language version 3.6

2025-01-21 02:52:22 -08:00

text

[model] Introduce isErroneous flag on Members in Kernel

2025-04-23 01:15:43 -07: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

Stop using NullabilitySuffix in fe/analyzer shared code.

2025-03-19 11:24:21 -07:00

canonical_name.dart

[kernel] Delete unused code

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

class_hierarchy.dart

[kernel] Remove unused mixinInferrer in ClassHierarchy

2024-07-08 09:40:49 +00:00

clone.dart

[cfe] Add LookupResult

2025-04-08 03:49:31 -07: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 legacy raw types from CoreTypes

2025-02-28 00:50:40 -08:00

dart_scope_calculator.dart

[kernel] Fix crash in dart_scope_calculator when all scopes are artificial

2024-06-26 08:23:59 +00:00

default_language_version.dart

[release] Bump version on main to 3.9

2025-04-08 11:16:58 -07:00

error_formatter.dart

…

external_name.dart

…

import_table.dart

[kernel] Delete unused code

2024-02-29 17:28:01 +00: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

[model] Introduce isErroneous flag on Members in Kernel

2025-04-23 01:15:43 -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] Update nullabilities after bounds change in instantiations

2025-01-07 01:16:48 -08:00

type_checker.dart

[cfe] Rename TypeVariable to TypeParameter

2024-10-21 09:35:06 +00:00

type_environment.dart

[kernel] Remove NonNullableByDefaultCompiledMode

2025-03-19 01:37:07 -07:00

verifier.dart

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

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

visitor.dart

[kerne] Remove type parameter from RecursiveVisitor

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