before8.java

// "Cast to 'java.lang.String'" "false"
class a {
 void f() {
   String s = <caret>1;
 }
}