public class ClassObjectField {
    public static void foo() {
        k.ClassWithClassObject.De<caret>fault.f();
    }
}

// REF: class object of (k).ClassWithClassObject