Records. Support for RecordTypeAnnotation in constants.

Change-Id: Ic5e39dc6bdf8740d190346dad67197f445407715
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/349302
Commit-Queue: Konstantin Shcheglov <[email protected]>
Reviewed-by: Brian Wilkerson <[email protected]>

Author: scheglov

pkg/analyzer/lib/src/dart/constant/evaluation.dart

@@ -1244,6 +1244,15 @@ class ConstantVisitor extends UnifyingAstVisitor<Constant> {
         typeSystem, nodeType, RecordState(positionalFields, namedFields));
   }
 
+  @override
+  Constant? visitRecordTypeAnnotation(RecordTypeAnnotation node) {
+    return DartObjectImpl(
+      typeSystem,
+      _typeProvider.typeType,
+      TypeState(node.type),
+    );
+  }
+
   @override
   Constant visitSetOrMapLiteral(SetOrMapLiteral node) {
     // Note: due to dartbug.com/33441, it's possible that a set/map literal

pkg/analyzer/test/src/dart/constant/evaluation_test.dart

@@ -946,6 +946,17 @@ void f(Object? x) {
 ''');
   }
 
+  test_recordTypeAnnotation() async {
+    await assertNoErrorsInCode(r'''
+const a = ('',) is (int,);
+''');
+    final result = _topLevelVar('a');
+    assertDartObjectText(result, r'''
+bool false
+  variable: self::@variable::a
+''');
+  }
+
   test_typeParameter() async {
     await assertErrorsInCode('''
 class A<X> {