before7.java

// "Cast to 'char'" "true"
class a {
 void f() {
   double d = 4;
   switch ('c') {
     case <caret>3.3:
   }
 }
}