Patch: FYI: PR 8712 test case

[Tom Tromey]

I'm checking this in on the trunk and the branch.

This is a test case for PR 8712.  Andrew approved the fix off-line;
I'll be checking it in shortly.

Tom

Index: ChangeLog
from  Tom Tromey  <tromey@redhat.com>

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

Index: libjava.compile/pr8712.java
===================================================================
RCS file: libjava.compile/pr8712.java
diff -N libjava.compile/pr8712.java
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ libjava.compile/pr8712.java 3 Jan 2003 23:04:40 -0000
@@ -0,0 +1,7 @@
+public class pr8712
+{
+  boolean x(pr8712 a)
+  {
+    return (!(a instanceof pr8712));
+  }
+}