LanguageFeatures/Records/interaction_with_legacy_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 not an error for a library whose language version is less
/// than v (a "legacy library") to include types which denote or include the
/// [Record] class, record types or record expressions when these terms arise
/// directly or indirectly from references to another library whose language
/// version is greater than or equal to v. For example, such a legacy library
/// may reference a typedef name which is bound to a record type in another
/// library, and the semantic interpretation of the typedef is as the underlying
/// record type, just as it would be for any other type. Similarly, type
/// inference may introduce record types into a legacy library, and such types
/// will be interpreted by the compiler as record types as usual (that is, there
/// is no erasure implied to remove these inferred types). A legacy library may
/// refer to the [Record] class via a library which has re-exported it. Record
/// values may flow into a legacy library via a reference to a member from
/// another library, and a legacy library may freely call getters on record
/// values (since there is no new syntax for calling a record getter). The
/// rationale for the choices described in this section is that the intent of
/// language versioning (for an additive feature such as records) is to ensure
/// that users do not accidentally use new features in a package without
/// specifying an SDK constraint which ensures that their code will always be
/// run on an SDK which supports the feature. But in the case of a legacy
/// library which references record values or types indirectly via another
/// library, the SDK constraint on the referenced library is sufficient to
/// enforce this.
///
/// @description Check that a record values may flow into a legacy library via a
/// reference to a member from another library, and a legacy library may freely
/// call getters on record values
/// @author sgrekhov22@gmail.com

// @dart = 2.18

import "interaction_with_legacy_lib.dart";
import "../../Utils/expect.dart";

main() {
  Expect.equals(42, r1.$1);
  Expect.equals(1, r2.$1);
  Expect.equals("one", r2.$2);
  Expect.equals(3.14, r3.$1);
  Expect.equals("pi", r3.name);
  Expect.equals("Lily was here", r4.s);
  Expect.equals(1, rec.$1);
  Expect.equals(2, rec.$2);
  Expect.equals(3, rec.$3);
  Expect.equals("1", rec.one);
  Expect.equals("2", rec.two);
  Expect.equals("3", rec.three);
}