* libjava.compile/pr8712.java: New file, for PR java/8712.

From-SVN: r60856

libjava/testsuite/ChangeLog

+2003-01-03  Tom Tromey  <tromey@redhat.com>
+
+	* libjava.compile/pr8712.java: New file, for PR java/8712.
+
 2003-01-01  Tom Tromey  <tromey@redhat.com>
 
 	* libjava.compile/pr8955.java: New test, for PR java/8955.

libjava/testsuite/libjava.compile/pr8712.java

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