checker/tests/interning/ThreadUsesObjectEquals.java - typetools/checker-framework - Git at Google

 public class ThreadUsesObjectEquals {
   boolean p(Thread a, Thread b) {
     return a == b;
   }
 }
	public class ThreadUsesObjectEquals {
	boolean p(Thread a, Thread b) {
	return a == b;
	}
	}