blob: 03476be469c7889c419ff61b8739ceaba5a232e0 [file] [log] [blame]
// Copyright (c) 2011, 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 a compile-time error if the values of the expressions ek
* are not either:
* • instances of the same class C, for all k in 1..n, or
* • instances of a class that implements int, for all k in 1..n, or
* • instances of a class that implements String, for all k in 1..n.
* @description Checks that it is a compile-time error if case expressions
* of a switch statement with a default case have different types.
* @compile-error
* @author msyabro
*/
main() {
var x = 1;
switch (x) {
case 0:
case 2:
case "false":
default:
}
}