LanguageFeatures/Patterns/relational_A04_t06.dart

// Copyright (c) 2024, 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 relationalPattern ::=
///   ( equalityOperator | relationalOperator) bitwiseOrExpression
///
/// A relational pattern lets you compare the matched value to a given constant
/// using any of the equality or relational operators: ==, !=, <, >, <=, and >=.
/// The pattern matches when calling the appropriate operator on the matched
/// value with the constant as an argument returns true.
///
/// It is a compile-time error if bitwiseOrExpression is not a valid constant
/// expression.
///
/// @description Check that it is a compile-time error if `bitwiseOrExpression`
/// is not a valid constant expression. Test switch expression
/// @author sgrekhov22@gmail.com
/// @issue 54627

extension type const IntET1(int _) {}
extension type const IntET2(int _) implements int, IntET1 {}

String test1(int num) {
  return switch (num) {
    < IntET2(0) => "negative",
//    ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
    == IntET1(0) => "zero",
//     ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
    > IntET2(0) => "positive",
//    ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
    _ => "Impossible!"
  };
}

String test2(int num) {
  return switch (num) {
    != IntET1(1) => "non-zero",
//     ^
// [analyzer] unspecified
// [cfe] unspecified
    == IntET2(0) => "zero",
//     ^
// [analyzer] unspecified
// [cfe] unspecified
    _ => "Impossible!"
  };
}

main() {
  test1(1);
  test2(2);
}