tests/language/switch/case_test.dart

// Copyright (c) 2014, 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.
//
// Testing pre-3.0 patterns behavior.
// @dart=2.19

import "package:expect/expect.dart";

class A {
  const A();
  const factory A.B() = B;
  const factory A.C() = C;
  const factory A.C2() = D;
}

class B implements A {
  const B();

  operator ==(o) => true;
}

class C implements D {
  final int x;
  const C() : x = 0;
  const C.fromD() : x = 1;
}

class D implements A {
  int get x => 0;
  const factory D() = C.fromD;
}

main() {
  switch (new B()) {
    case const A.B() as B:
      // ^^^^^^^^^^^^^^^^
      // [analyzer] COMPILE_TIME_ERROR.CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS
      //             ^
      // [cfe] Case expression 'B {}' does not have a primitive operator '=='.
      Expect.fail("bad switch");
      break;
  }

  switch (new C()) {
    case const C():
      Expect.fail("bad switch");
      break;
    case const A.C() as C:
      Expect.fail("bad switch");
      break;
    case const A.C2() as C:
      Expect.fail("bad switch");
      break;
    case const A():
      // ^^^^^^^^^
      // [analyzer] COMPILE_TIME_ERROR.CASE_EXPRESSION_TYPE_IS_NOT_SWITCH_EXPRESSION_SUBTYPE
      //       ^
      // [cfe] Type 'A' of the case expression is not a subtype of type 'C' of this switch expression.
      Expect.fail("bad switch");
      break;
  }

  switch (new A()) {
    case const A():
      Expect.fail("bad switch");
      break;
    case const A.B():
      // ^^^^^^^^^^^
      // [analyzer] COMPILE_TIME_ERROR.CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS
      //       ^
      // [cfe] Case expression 'B {}' does not have a primitive operator '=='.
      Expect.fail("bad switch");
      break;
  }
}