B.java

public class B {

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