BadFieldRegion.java

class C {
    int x in r; // Region does not exist!
}