UnqualifiedDoesntCoverNonint.java

class C {
    region r;
    void m() writes r {
	nonint x = 0;
    }
}