A.java

public class A {

    //-K1@ requires x; // Type-check error when enabled
    void m() {}
}