dart-lang/sdk
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
tonycloud/dev
sdk/tests/language
T
History
Nate Biggs 92ae8b61ec [dart2wasm] Fix switch statements that include a Type expression case. 
'canInvokeTypeEquality' was assuming that if a single case was a Type expression, then type equality should be used for the whole switch statement. This is incorrect because if a single case is a type expression but the rest are, for example, ints (as in the fixed test) then the int cases should be compared with identical while only the type expression should be compared with ==.

More importantly, the expected type of the case expression constants should be top type rather than the Type type. Top type is the union of Type and the other case type.

Switches that only include Type expressions will now use "top" type as well but in general switching on a Type expression is an antipattern we shouldn't optimize for. And the impact of not specializing the switch type to Type should be very minimal.

Fixes: https://github.com/dart-lang/sdk/issues/63476
Change-Id: Ib96172f157d8cf3093199e5127d4835e7b25011c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/509920
Reviewed-by: Martin Kustermann <kustermann@google.com>
Commit-Queue: Nate Biggs <natebiggs@google.com>
2026-06-09 20:39:04 -07:00
..
abstract
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
accessor_conflict
…
anonymous_methods
Start implementation of anonymous block methods
2026-05-27 06:04:46 -07:00
argument
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
assert
[tests] Rewrite various tests to not depend on <obj>.runtimeType.toString()
2025-06-24 01:16:24 -07:00
assign
Reformat tests/language/assign/.
2024-12-13 10:52:25 -08:00
async
[cfe] Remove BodyBuilderContext.function
2026-01-26 01:49:03 -08:00
async_nested
Reformat tests/language/a*.
2024-12-20 02:39:21 -08:00
async_star
Test yield* when the return context is Iterable<_>.
2026-04-09 15:01:17 -07:00
await
[tfa] Narrow to promoted static type on VariableGet.
2025-10-24 09:31:25 -07:00
bool
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
call
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
canonicalize
[test] Don't rely on try-catch to prevent inlining.
2025-07-30 13:56:40 -07:00
cascade
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
class
Augment. Report recursiveInterfaceInheritance on the clause, if self-reference.
2026-05-29 12:57:07 -07:00
class_modifiers
Augment. Support for abstract top-level variables and static fields.
2026-05-28 09:19:15 -07:00
closure
[dart2wasm] Fix dummy initializations of cyclic types
2026-01-13 02:46:44 -08:00
compile_time_constant
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
const
[cfe][PrimaryConstructors] Update reporting for mixin class with initializer/constructor body
2026-04-01 01:17:28 -07:00
const_functions
[cfe][PrimaryConstructors] Don't remove const modifier
2026-04-15 03:08:56 -07:00
constants_2018
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
constructor
[cfe][PrimaryConstructors] Update reporting for mixin class with initializer/constructor body
2026-04-01 01:17:28 -07:00
control_flow_collections
[test_runner] Remove nnbd mode options.
2025-06-02 10:59:31 -07:00
covariant
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
covariant_override
Reformat tests/language/c*.
2024-12-12 15:50:08 -08:00
deferred
[dart2wasm] Fix access of constants under deferred load guard
2025-11-28 03:23:01 -08:00
dot_shorthands
Retire 'privately-named-parameters' experiment flag.
2026-05-28 05:13:49 -07:00
double
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
double_literals
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
dynamic
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
enum
Enable 'primary-constructors' feature flag.
2026-05-04 15:09:49 -07:00
exception
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
export
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
extension_methods
[cfe] Report extension access type parameter bounds before lowering
2025-09-01 03:59:59 -07:00
extension_type
Enable 'primary-constructors' feature flag.
2026-05-04 15:09:49 -07:00
external_abstract_fields
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
factory
Format tests/language/f*.
2025-02-26 10:39:51 -08:00
field
Enable 'getter-setter-error' flag in 3.9
2025-05-26 08:08:31 -07:00
final
[cfe][PrimaryConstructors] Update reporting for mixin class with initializer/constructor body
2026-04-01 01:17:28 -07:00
function
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
function_subtype
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
function_type
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
generic
[tests] Rewrite various tests to not depend on <obj>.runtimeType.toString()
2025-06-24 01:16:24 -07:00
generic_methods
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
getter
Move check for setter formal parameters to AstBuilder.
2025-07-24 07:21:26 -07:00
identifier
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
identity
Opt multitests out of formatting in language/.
2024-11-21 10:49:44 +00:00
if
Format tests/language/i*.
2025-02-05 08:36:21 -08:00
if_null
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
implicit_creation
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
implicit_downcast_during
Format tests/language/i*.
2025-02-05 08:36:21 -08:00
import
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
inference
[front end] Perform hoisting after coercion.
2026-04-30 11:05:39 -07:00
inference_update_1
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
inference_update_2
Support for cross-file context messages in test_runner/.
2026-05-06 13:23:57 -07:00
inference_update_3
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
inference_update_4
[flow][tests] Language tests for issue 1721 - allow better promotions for final vars.
2024-10-16 17:54:39 +00:00
inference_using_bounds
[test] Remove noisy expectStaticType
2025-08-27 04:59:03 -07:00
initializing_formal
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
instance
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
instantiate_to_bound
…
interceptor
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
interface
Enable 'primary-constructors' feature flag.
2026-05-04 15:09:49 -07:00
invalid_returns
Format tests/language/i*.
2025-02-05 08:36:21 -08:00
is
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
label
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
lazy
Reformat tests/language/f-l using the 3.8 style.
2025-04-29 07:37:05 -07:00
least_upper_bound
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
library
[dart2wasm, standalone] Migrate String
2026-05-20 00:22:27 -07:00
list
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
loop
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
main
Opt multitests out of formatting in language/.
2024-11-21 10:49:44 +00:00
malbounded
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
malformed
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
map
[model] Remove more nullability-related assignability error messages
2025-05-19 00:18:57 -07:00
metadata
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
method
Add 'external-effect' pragma support to all the backends.
2026-04-27 09:42:38 -07:00
mixin
Augment. Report recursiveInterfaceInheritance on the clause, if self-reference.
2026-05-29 12:57:07 -07:00
mixin_constructor_forwarding
Format tests/language/m*.
2025-02-11 00:23:41 -08:00
mixin_declaration
Bug fix: implement missing diagnostic implementsSuperClassConstraint.
2026-05-18 07:55:50 -07:00
mixin_legacy
Augment. Report recursiveInterfaceInheritance on the clause, if self-reference.
2026-05-29 12:57:07 -07:00
named_arguments_anywhere
[cfe] Remove the need for TypeInferrer.constantContext
2025-09-24 01:18:32 -07:00
new
Remove some multitest runtime-tests.
2025-02-19 04:21:42 -08:00
nnbd
[flow analysis] Test post increment/decrement demotion.
2026-02-21 10:59:44 -08:00
no_such_method
[tests] Rewrite various tests to not depend on <obj>.runtimeType.toString()
2025-06-24 01:16:24 -07:00
nonfunction_type_aliases
Issue 62663. Split mixin_class_declares_constructor into class_used_as_mixin_declares_generative_constructor and mixin_class_declares_non_trivial_generative_constructor.
2026-04-01 15:20:26 -07:00
nosuchmethod_forwarding
[tests] Rewrite various tests to not depend on <obj>.runtimeType.toString()
2025-06-24 01:16:24 -07:00
null
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
null_aware
[cfe] Avoid lowering in Static/Super/PropertyIncDec
2025-08-27 02:00:02 -07:00
null_aware_elements
Retire and remove 3.9 experiment flags.
2025-09-09 04:50:35 -07:00
number
[CFE/Analyzer/parser] Fix crash upon double with separators and missing number after e
2025-06-27 02:29:33 -07:00
operator
[cfe] Remove inConstructorName
2025-11-14 03:01:16 -08:00
optimize
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
override
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
parameter
Breaking changes for analyzer 13.0.0
2026-04-17 23:06:25 -07:00
part
[cfe] Report error on duplicate part
2025-09-30 06:52:53 -07:00
patterns
[cfe] Remove the need for TypeInferrer.constantContext
2025-09-24 01:18:32 -07:00
prefix
[analyzer] Report error on the first unresolved identifier
2025-09-04 01:22:53 -07:00
primary_constructors
[PrimaryConstructors] Add language test for issue 63506
2026-06-04 09:52:40 -07:00
private
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
private_named_parameters
Retire 'privately-named-parameters' experiment flag.
2026-05-28 05:13:49 -07:00
propagate
Format tests/language/p*.
2025-02-11 15:31:25 -08:00
records
[dart2js] Fix record tracing w.r.t to closures.
2026-02-06 16:06:56 -08:00
redirecting
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
reg_exp
Stop using Match.group.
2026-03-20 09:09:46 -07:00
regress
Breaking changes for analyzer 13.0.0
2026-04-17 23:06:25 -07:00
resolution
…
return
…
rewrite
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
scaling
Reformat tests/language/s** using 3.8 style.
2025-05-02 04:46:00 -07:00
script
Reformat tests/language/s** using 3.8 style.
2025-05-02 04:46:00 -07:00
sealed_class
CQ. Start using InstanceScope in ResolutionVisitor, a little.
2026-02-12 13:02:56 -08:00
set_literals
Reformat tests/language/s** using 3.8 style.
2025-05-02 04:46:00 -07:00
setter
Enable 'primary-constructors' feature flag.
2026-05-04 15:09:49 -07:00
sound_flow_analysis
Retire and remove 3.9 experiment flags.
2025-09-09 04:50:35 -07:00
spread_collections
Reformat tests/language/s** using 3.8 style.
2025-05-02 04:46:00 -07:00
stack_trace
[dart2wasm] Add dart2wasm never-inline pragma to a function being checked in a stack trace test
2026-01-28 04:41:56 -08:00
static
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
string
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
subtyping_static
…
super
DeCo. Check implicitly invoked unnamed super constructor.
2026-01-12 11:04:03 -08:00
superinterface_variance
Remove unnecessary leftover @dart=2.19 from tests.
2024-11-28 09:10:30 +00:00
switch
[dart2wasm] Fix switch statements that include a Type expression case.
2026-06-09 20:39:04 -07:00
symbol
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
sync_star
Test yield* when the return context is Iterable<_>.
2026-04-09 15:01:17 -07:00
syntax
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
test_runner
Revert "[test_runner] Support static error test expectations in augmentation libraries."
2026-03-24 05:22:10 -07:00
this
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
top_level
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
type
Reformat tests/language/t** using 3.8 style.
2025-05-02 04:28:39 -07:00
type_object
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
type_promotion
Revert "[flow analysis] Fix unsound type promotion in inner async/generator functions."
2026-05-04 10:37:11 -07:00
type_variable
FixCrash. When a type parameter is referenced in static context, instantiate it to InvalidType.
2026-04-09 09:34:54 -07:00
typedef
Reformat tests/language/t** using 3.8 style.
2025-05-02 04:28:39 -07:00
unsorted
Remove var and final from parameters in test/.
2026-02-17 08:28:57 -08:00
value_class
Reformat tests/language/v-z* using 3.8 style.
2025-05-02 04:14:03 -07:00
variable
[cfe][PrimaryConstructors] Update reporting for mixin class with initializer/constructor body
2026-04-01 01:17:28 -07:00
variance
Variance. Report errors on INOUT and OUT built-in identifiers when Feature.variance is enabled.
2026-03-24 13:29:17 -07:00
void
[model] Report error on void arguments of dynamic types in Analyzer
2025-09-22 04:49:24 -07:00
why_not_promoted
Support for cross-file context messages in test_runner/.
2026-05-06 13:23:57 -07:00
wildcard_variables
[cfe] Update message for undefined access
2025-06-17 04:03:26 -07:00
await_type_error_test.dart
Reformat tests/language/a*.
2024-12-20 02:39:21 -08:00
await_type_test.dart
Collect all test-related files in package:expect.
2024-10-11 16:53:52 +00:00
covariant_field_implicit_setter_test.dart
[dart2wasm] Fix missing type check in implicit field setters if field is covariant
2024-08-16 11:49:19 +00:00
dynamic_type_helper.dart
…
explicit_type_instantiation_parsing_test.dart
Enable 'dot-shorthands' feature flag for Dart 3.10
2025-08-18 12:38:35 -07:00
flutter_regession_151473_test.dart
[dart2wasm] Disentagle dispatch table calls from static calls in dart2wasm
2024-07-11 13:54:13 +00:00
language_analyzer.status
…
language_dart2js.status
[status_files] Cleanup status files
2024-06-12 10:21:23 +00:00
language_dart2wasm.status
[dart2wasm, standalone]: Avoid importing js-string constants
2026-04-24 10:49:11 -07:00
language_dartdevc.status
Reland "[ddc] Clean up old async logic in ddc compiler."
2024-07-30 03:13:58 +00:00
language_kernel.status
[gardening] Adjust status file info for moved tests.
2026-01-21 04:58:13 -08:00
language_precompiled.status
[gardening] Adjust status file info for moved tests.
2026-01-21 04:58:13 -08:00
language_spec_parser.status
Change language tests to avoid unintended syntax errors
2025-10-27 01:35:09 -07:00
language_vm.status
[test] Remove ARM64-specific status entries.
2023-10-09 19:30:29 +00:00
language.status
[vm,dyn_modules] Disable dart:mirrors in standalone VM when using interpreter
2025-09-29 11:04:13 -07:00
library1.dart
…
library2.dart
…
library10.dart
…
library11.dart
…
library12.dart
…
local_null_initialization.dart
[dart2wasm] Minor refactoring and comments in variable declaration compiler
2026-01-07 03:38:06 -08:00
OWNERS
Use OWNERS files to restrict editing of tests/language to language team.
2023-11-16 18:18:00 +00:00
record_literal_problems_test.dart
…
record_literal_test.dart
Reformat files in the top level of tests/language/.
2025-01-02 03:27:35 -08:00
record_type_empty_problems_test.dart
…
record_type_problems_test.dart
…
record_type_test.dart
Reformat files in the top level of tests/language/.
2025-01-02 03:27:35 -08:00
regress_54994_test.dart
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
regression_55741_test.dart
[dart2wasm] Only share type parameter fields if nullability allows
2024-05-17 12:07:56 +00:00
regression_56129_test.dart
[dart2wasm] Fix bug in handling of optional arguments
2024-07-05 07:38:49 +00:00
static_type_helper.dart
Collect all test-related files in package:expect.
2024-10-11 16:53:52 +00:00
static_weak_reference_error_test.dart
Reformat files in the top level of tests/language/.
2025-01-02 03:27:35 -08:00
static_weak_reference_function_apply_test.dart
Reformat tests/language/a-e using 3.8 style.
2025-04-29 07:38:43 -07:00
static_weak_reference_test.dart
…
syntax_helper.dart
Reformat files in the top level of tests/language/.
2025-01-02 03:27:35 -08:00