---

yaml
---
r: 361477
b: refs/heads/main
c: aaed0ce
h: refs/heads/main
i:
  361475: 65c4766

Author: rakudrama

[refs]

@@ -1988,7 +1988,7 @@ refs/tags/2.14.0-96.0.dev: 1eee24e50fc3028754d9a8e98852b949c04da4e4
 refs/tags/2.14.0-97.0.dev: ba9c1636e87fbdcc02b8bc4a584455c32f8378b4
 refs/tags/2.14.0-98.0.dev: f2d370c93582bbf4da42b5dd4c906d6145b01ea9
 refs/tags/2.14.0-99.0.dev: e722f62b48fb382534efc1f20735def68848006f
-refs/heads/main: ca709d09db06c1a7302e96185c63b960dc94b114
+refs/heads/main: aaed0ce04817012d32d4c399a8a8c7477aef5447
 refs/heads/TedSander-patch-1: 739563c962fea6f5e2883a8d84f8638c48f2aa40
 refs/tags/2.13.1: 53a67a7b0650edb435535a50b5c430abbc68bc60
 refs/tags/2.13.3: a77223333944631f8f48a76e7f4697a4877e29d7

trunk/pkg/compiler/lib/src/common/elements.dart

@@ -50,6 +50,9 @@ abstract class CommonElements {
   /// The `Function` class defined in 'dart:core'.
   late final ClassEntity functionClass = _findClass(coreLibrary, 'Function');
 
+  /// The `Record` class defined in 'dart:core'.
+  late final ClassEntity recordClass = _findClass(coreLibrary, 'Record');
+
   /// The `Resource` class defined in 'dart:core'.
   late final ClassEntity resourceClass = _findClass(coreLibrary, 'Resource');
 
@@ -239,6 +242,9 @@ abstract class CommonElements {
   /// The `Null` type defined in 'dart:core'.
   InterfaceType get nullType => _getRawType(nullClass);
 
+  /// The `Record` type defined in 'dart:core'.
+  InterfaceType get recordType => _getRawType(recordClass);
+
   /// The `Type` type defined in 'dart:core'.
   InterfaceType get typeType => _getRawType(typeClass);
 

trunk/pkg/compiler/lib/src/elements/types.dart

@@ -2308,10 +2308,12 @@ abstract class DartTypes {
       //
       // TODO(50081): Reference rules to updated specification
       // https://github.com/dart-lang/language/blob/master/resources/type-system/subtyping.md#rules
-      //
-      // TODO(50081): record is subtype of interface `Record`.
-      if (s is RecordType) {
-        if (t is! RecordType) return false;
+
+      // Record Type/Record:
+      if (s is RecordType && t == commonElements.recordType) return true;
+
+      // Record Type/Record Type:
+      if (s is RecordType && t is RecordType) {
         if (s.shape != t.shape) return false;
         List<DartType> sFields = s.fields;
         List<DartType> tFields = t.fields;

trunk/pkg/compiler/lib/src/ir/visitors.dart

@@ -179,7 +179,7 @@ class DartTypeConverter extends ir.DartTypeVisitor<DartType> {
       for (final type in positional) visitType(type),
       for (final namedType in named) visitType(namedType.type)
     ].toList(growable: false);
-    return _dartTypes.recordType(shape, fields);
+    return _convertNullability(_dartTypes.recordType(shape, fields), node);
   }
 
   @override

trunk/sdk/lib/_internal/js_shared/lib/rti.dart

@@ -3003,10 +3003,12 @@ bool _isSubtype(Object? universe, Rti s, Object? sEnv, Rti t, Object? tEnv) {
   //
   // TODO(50081): Reference rules to updated specification
   // https://github.com/dart-lang/language/blob/master/resources/type-system/subtyping.md#rules
-  //
-  // TODO(50081): record is subtype of interface `Record`.
-  if (sKind == Rti.kindRecord) {
-    if (tKind != Rti.kindRecord) return false;
+
+  // Record Type/Record:
+  if (sKind == Rti.kindRecord && isRecordInterfaceType(t)) return true;
+
+  // Record Type/Record Type:
+  if (sKind == Rti.kindRecord && tKind == Rti.kindRecord) {
     return _isRecordSubtype(universe, s, sEnv, t, tEnv);
   }
 
@@ -3267,6 +3269,7 @@ bool isNullType(Rti t) =>
 bool isFunctionType(Rti t) => _Utils.isIdentical(t, TYPE_REF<Function>());
 bool isJsFunctionType(Rti t) =>
     _Utils.isIdentical(t, TYPE_REF<JavaScriptFunction>());
+bool isRecordInterfaceType(Rti t) => _Utils.isIdentical(t, TYPE_REF<Record>());
 
 class _Utils {
   static bool asBool(Object? o) => JS('bool', '#', o);