// Copyright (c) 2018, 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.

class SuperClass {
  const SuperClass();

  bool operator ==(Object other);
}

class Class extends SuperClass {
  const Class();

  bool operator ==(Object other);
}

class SubClass extends Class {
  const SubClass();

  bool operator ==(Object other) => false;
}

main() {
  switch (null) {
    case const SuperClass():
      break;
    default:
  }
  switch (null) {
    case const Class():
      break;
    default:
  }
  switch (null) {
    case const SubClass(): //# 01: compile-time error
      break; //# 01: continued
    default:
  }
}