framework/tests/flow/MoreFields.java - typetools/checker-framework - Git at Google

 public class MoreFields {
   void testOtherFieds(Test other, int f) {
     other.f = f;
   }
 }

 class Test {
   int f;
 }
	public class MoreFields {
	void testOtherFieds(Test other, int f) {
	other.f = f;
	}
	}

	class Test {
	int f;
	}