checker/jtreg/nullness/issue12/binary.astub - typetools/checker-framework - Git at Google

 public class BinaryDefaultTestBinary {
   public static BinaryDefaultTestBinary foo(BinaryDefaultTestInterface foo);
 }
	public class BinaryDefaultTestBinary {
	public static BinaryDefaultTestBinary foo(BinaryDefaultTestInterface foo);
	}