BadConstraint.java

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