sdk/pkg/vm at b5eb9af66373d55a3a7e6fb3f7c9cee3f7917f2b - sdk

Files

T

Alexander Markov 6b9aecbe5f [vm,aot] Fix parameter type checks in the implicit setters of covariant-by-class fields

Implicit setters of covariant fields (both covariant by declaration and
covariant by class aka generic-covariant-impl) need to perform a type
check of their argument.

It means that inferred type of the field cannot be used as inferred
type of parameter of such setter. This change removes such uses of
an inferred type of the field, which restores parameter type check
which was previously incorrectly optimized out.

TEST=runtime/tests/vm/dart/regress_63419_test.dart
Fixes https://github.com/dart-lang/sdk/issues/63419

Change-Id: Ie313dbaab51dff15d60ce4390e7e41bdc66ad59d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/509020
Reviewed-by: Slava Egorov <vegorov@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>

2026-06-03 11:32:28 -07:00

bin

[vm,dart2bytecode] Reformat pkg/dart2bytecode and pkg/vm

2026-03-20 06:35:41 -07:00

lib

[vm,aot] Fix parameter type checks in the implicit setters of covariant-by-class fields

2026-06-03 11:32:28 -07:00

test

[kernel][Contexts] Rename VariableDeclaration to Variable

2026-05-21 01:51:10 -07:00

testcases/transformations

[tfa] Fix handling of late local variables with static type Never