commit 16ccd6b9fcf5a31394e40a9c4b29e37117b06209
author Alexander Markov <alexmarkov@google.com> Fri Oct 28 14:36:51 2022 +0000
committer Commit Queue <dart-scoped@luci-project-accounts.iam.gserviceaccount.com> Fri Oct 28 14:36:51 2022 +0000
tree 2cf66149d916a7523f70eed359733b72265ad1ff
parent 48de3c71a379c1bcc5f73f3c2d44084c443230fb

[dart2wasm,tfa] Fix supertype of the artificial record class in TFA

In case particular back-end (such as dart2wasm) doesn't use a real
implementation class for the records, TFA defines an artificial one.
The definition of the artificial record class didn't specify 'Object'
as a supertype, so Object methods were not found from records.
This change fixes the supertype of the artificial record class.
VM/AOT uses real class for records and is not affected.

TEST=co19/LanguageFeatures/Records/equality_A02_t01 (on dart2wasm)
Fixes https://github.com/dart-lang/sdk/issues/50303
Issue: https://github.com/dart-lang/sdk/issues/50014
Change-Id: I7ebcb6b4783edee698550694dc3d7ebb8ce1aef9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/265800
Reviewed-by: Slava Egorov <vegorov@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>

pkg/vm/lib/transformations/type_flow/analysis.dart

diff --git a/pkg/vm/lib/transformations/type_flow/analysis.dart b/pkg/vm/lib/transformations/type_flow/analysis.dart
index d0fc23f..1af8980 100644
--- a/pkg/vm/lib/transformations/type_flow/analysis.dart
+++ b/pkg/vm/lib/transformations/type_flow/analysis.dart
@@ -1224,6 +1224,7 @@
                 .concreteRecordClass(environment.coreTypes) ??
             Class(
                 name: "&&Record",
+                supertype: Supertype(environment.coreTypes.objectClass, []),
                 implementedTypes: [
                   Supertype(environment.coreTypes.recordClass, [])
                 ],