darcy@430: /*
darcy@430:  * @test  /nodynamiccopyright/
darcy@430:  * @bug 6827009
darcy@430:  * @summary Check for case labels of different types.
darcy@430:  * @compile/fail -source 6 BadlyTypedLabel1.java
jjg@611:  * @compile/fail/ref=BadlyTypedLabel1.out -XDrawDiagnostics BadlyTypedLabel1.java
darcy@430:  */
darcy@430: class BadlyTypedLabel1 {
darcy@430:     String m(String s) {
darcy@430:         switch(s) {
darcy@430:         case "Hello World":
darcy@430:             return(s);
darcy@430:         case 42:
darcy@430:             return ("Don't forget your towel!");
darcy@430:         }
darcy@430:     }
darcy@430: }