12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970 |
- enum Tree<T> {
- Leaf(t:T);
- Node(l:Tree<T>, r:Tree<T>);
- }
- class Main {
- static function main() {
- }
- function testRedundance() {
- switch(true) {
- case false:
- case true:
- case false: // unused
- }
- switch(true) {
- case false | true:
- case true: // unused
- case false: // unused
- }
- switch(true) {
- case false
- | false: // unused
- case true:
- }
- switch(Leaf("foo")) {
- case Leaf(_)
- | Leaf("foo"): // unused
- case Node(l,r):
- }
- switch({s:"foo"}) {
- case { s : "foo" } :
- case { s : a } :
- }
- switch( { s:"foo", t:"bar" } ) {
- case { s : "foo" }:
- case { t : "bar" }:
- case { s : "foo", t:"bar" }: // unused
- case _:
- }
- switch ("foo") {
- case "foo":
- case x = "foo": // unused
- }
- switch ("foo") {
- case x = "foo":
- case "foo": // unused
- }
- switch [true] {
- case [true]:
- case [true]: // unused
- case [false]:
- }
- switch [true] {
- case [true]
- | [true]: // unused
- case [false]:
- }
- }
- }
|