Alexander Markov efab897725 [vm,aot] Fix type check in implicit setter of a covariant field ...

Inferred type of a covariant field should not be used as
an argument type of an implicit setter, as setter of a covariant
field performs a type check before assigning value to the field.

Correct such uses of covariant field types in unboxing
and AOT type propagation in order to avoid incorrect removal of
a type check in the implicit setter of a covariant field.

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

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

2024-06-25 14:34:20 +00:00

..

concurrency

Fix iso-stress job by preventing --sound-null-safety flag from getting passed to the VM

2024-06-13 17:02:03 +00:00

vm

[vm,aot] Fix type check in implicit setter of a covariant field

2024-06-25 14:34:20 +00:00