class A { void f() { A.class; //^ defined: 1 } }