1
0
mirror of https://github.com/dart-lang/sdk synced 2024-07-01 07:14:29 +00:00
dart-sdk/pkg/vm
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
..
bin [pkg/kernel-service] Fix invalid index used in expression 2024-06-12 22:13:29 +00:00
lib [vm,aot] Fix type check in implicit setter of a covariant field 2024-06-25 14:34:20 +00:00
test [cfe] Move src/fasta/ subfolders to src/ 2024-06-25 10:05:21 +00:00
testcases/transformations [dart2wasm] Move list implementations to their own library 2024-06-21 14:46:58 +00:00
tool Dynamic interface yaml file 2024-06-10 16:09:54 +00:00
analysis_options.yaml [pkg/vm] analyze using package:lints 2022-07-07 23:22:49 +00:00
dynamic_interface.md Dynamic interface yaml file 2024-06-10 16:09:54 +00:00
LICENSE Update LICENSE 2021-04-07 10:28:38 +00:00
OWNERS Also add global owners to CFE/VM packages 2023-11-27 14:35:52 +00:00
pubspec.yaml [vm] Use newer language version in package:vm which removes some unnecessary casts 2024-05-16 08:57:40 +00:00
README.md

This package hosts VM specific Dart code and helper scripts.