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

 public class Casts {
   void method(Object o) {
     char c = (char) o;
   }
 }
	public class Casts {
	void method(Object o) {
	char c = (char) o;
	}
	}