org.eclipse.jdt.ui.tests.refactoring/resources/TypeConstraints/A_testConstraints9.java

package p;
class A{
	void f(){
		A a= null;
		boolean x= a instanceof A;
	}
}