LanguageFeatures/Patterns/type_inference_A32_t05.dart

// Copyright (c) 2023, 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
/// To type check a pattern p being matched against a value of type M:
/// ...
/// If p with required type T is in an irrefutable context:
/// - It is a compile-time error if M is not assignable to T.
/// - Else if M is not a subtype of T then an implicit coercion or cast is
///   inserted before the pattern binds the value, tests the value's type,
///   destructures the value, or invokes a function with the value as a target
///   or argument.
///
/// @description Check that it is a compile-time error if `M` is not assignable
/// to `T` in irrefutable context. Test object patterns
/// @author sgrekhov22@gmail.com

import "patterns_lib.dart";

main() {
  var Square(area: x1) = Shape();
//                       ^
// [analyzer] unspecified
// [cfe] unspecified

 final Square(area: y1) = Circle(1);
//                        ^
// [analyzer] unspecified
// [cfe] unspecified

  var Square<Meter>(area: x2) = Square<Centimeter>(1);
//                              ^
// [analyzer] unspecified
// [cfe] unspecified

  final Square<Meter>(area: y2) = Square<Centimeter>(1);
//                                ^
// [analyzer] unspecified
// [cfe] unspecified

  var Square<Meter>(area: Unit<Centimeter> x3) = throw 1;
//                        ^
// [analyzer] unspecified
// [cfe] unspecified

  final Square<Meter>(area: int y2) = throw 1;
//                          ^
// [analyzer] unspecified
// [cfe] unspecified
}