LanguageFeatures/Records/record_type_annotations_A04_t04.dart

// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/// @assertion It is a compile-time error if a record type has any of:
///
/// The same field name more than once. This is true even if one or both of the
/// colliding fields is positional. We could permit collisions with positional
/// field names since they are only used for documentation, but we disallow it
/// because it's confusing and not useful.
///
/// Only one positional field and no trailing comma. This isn't ambiguous, since
/// there are no parenthesized type expressions in Dart. But prohibiting this is
/// symmetric with record expressions and leaves the potential for later support
/// for parentheses for grouping in type expressions.
///
/// A field named hashCode, runtimeType, noSuchMethod, or toString.
///
/// A field name that starts with an underscore.
///
/// A field name that collides with the synthesized getter name of a positional
/// field. For example: (int, $1: int) since the named field '$1' collides with
/// the getter for the first positional field.
///
/// @description Checks that it is a compile-time error if a record type has
/// more than one trailing commas
/// @author sgrekhov22@gmail.com

typedef R1 = (int i, String s,,);
//                            ^
// [analyzer] unspecified
// [cfe] unspecified

typedef (int, String s,,) R2();
//                     ^
// [analyzer] unspecified
// [cfe] unspecified

typedef void R3((String s, int,,) r);
//                             ^
// [analyzer] unspecified
// [cfe] unspecified

typedef R4 = (int i, {String s,,});
//                             ^
// [analyzer] unspecified
// [cfe] unspecified

typedef (int, {String s,,}) R5();
//                     ^^
// [analyzer] unspecified
// [cfe] unspecified

typedef void R6(({String s, int i,,}) r);
//                                ^
// [analyzer] unspecified
// [cfe] unspecified

(int, bool,,) foo1() => (42, true);
//         ^
// [analyzer] unspecified
// [cfe] unspecified

(int, {bool b,,}) foo2() => (42, b: true);
//            ^
// [analyzer] unspecified
// [cfe] unspecified

({int i, bool b,,}) foo3() => (i: 42, b: true);
//              ^
// [analyzer] unspecified
// [cfe] unspecified

Record bar1((int i, int j,,) r) => r;
//                        ^
// [analyzer] unspecified
// [cfe] unspecified

Record bar2((int i, {int j,,}) r) => r;
//                         ^
// [analyzer] unspecified
// [cfe] unspecified

Record bar3(({int i, int j,,}) r) => r;
//                         ^
// [analyzer] unspecified
// [cfe] unspecified

main() {
  (int, String,,) r1 = (42, "");
//             ^
// [analyzer] unspecified
// [cfe] unspecified

  (double d, String s,,) r2 = (3.14, "");
//                    ^
// [analyzer] unspecified
// [cfe] unspecified

  (int, {String s,,}) r3 = (42, s: "");
//                ^
// [analyzer] unspecified
// [cfe] unspecified

  ({double d, String s,,}) r4 = (d: 3.14, s: "");
//                     ^
// [analyzer] unspecified
// [cfe] unspecified

  dynamic d = (1, 2,);
  if (d is (int i, int j,,)) {
//                       ^
// [analyzer] unspecified
// [cfe] unspecified
  }
  if (d is (int i, {int j,,})) {
//                        ^
// [analyzer] unspecified
// [cfe] unspecified
  }
  if (d is ({int i, int j,,})) {
//                        ^
// [analyzer] unspecified
// [cfe] unspecified
  }

  d as (int, int j,,);
//                 ^
// [analyzer] unspecified
// [cfe] unspecified

  d as (int, {int j,,});
//                  ^
// [analyzer] unspecified
// [cfe] unspecified

  d as ({int, int j,,});
//                  ^
// [analyzer] unspecified
// [cfe] unspecified
}