BadConstraint.java

class C {
    <region R | R # R> // Error: R and R cannot be disjoint!
    void method() {}
}