abstract class <caret>A { // INFO: {"checked": "true"} int x = 2 * 3; // INFO: {"checked": "true"} static String X = "1" + "2"; // INFO: {"checked": "true", "toAbstract": "true"} boolean foo(int n) { return n > 0; } // INFO: {"checked": "true"} static String foo2(int n) { return "_" + n + "_"; } // INFO: {"checked": "true"} abstract int bar(String s); // INFO: {"checked": "true"} class X { } // INFO: {"checked": "true"} static class Y { } }