checker/jtreg/issue1133/ClassA.java - typetools/checker-framework - Git at Google

 public class ClassA {
   void test(ClassB classB) {
     classB.test();
   }
 }
	public class ClassA {
	void test(ClassB classB) {
	classB.test();
	}
	}