checker/tests/nullness/init/Uninit7.java - typetools/checker-framework - Git at Google

 public class Uninit7 {
   Object f;

   Uninit7() {
     throw new Error();
   }
 }
	public class Uninit7 {
	Object f;

	Uninit7() {
	throw new Error();
	}
	}