libjava/testsuite/libjava.compile/pr8712.java

public class pr8712
{
  boolean x(pr8712 a)
  {
    return (!(a instanceof pr8712));
  }
}