From fb914c8db656e5e9266815f9bf8031ef3d3144db Mon Sep 17 00:00:00 2001
From: Stefan Ring <stefan@complang.tuwien.ac.at>
Date: Sat, 3 May 2008 17:58:09 +0200
Subject: [PATCH] * tests/regression/bugzilla/All.java: Added test case for
 PR65.

---
 tests/regression/bugzilla/All.java  |  1 +
 tests/regression/bugzilla/PR65.java | 46 +++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+)
 create mode 100644 tests/regression/bugzilla/PR65.java

diff --git a/tests/regression/bugzilla/All.java b/tests/regression/bugzilla/All.java
index 8e144ea2e..e5fcac12f 100644
--- a/tests/regression/bugzilla/All.java
+++ b/tests/regression/bugzilla/All.java
@@ -47,6 +47,7 @@ public class All extends TestCase {
         suite.addTest(new TestSuite(PR52.class));
         suite.addTest(new TestSuite(PR57.class));
         suite.addTest(new TestSuite(PR58.class));
+        suite.addTest(new TestSuite(PR65.class));
 
         return suite;
     }
diff --git a/tests/regression/bugzilla/PR65.java b/tests/regression/bugzilla/PR65.java
new file mode 100644
index 000000000..b8a5ef179
--- /dev/null
+++ b/tests/regression/bugzilla/PR65.java
@@ -0,0 +1,46 @@
+/* tests/regression/bugzilla/PR65.java
+
+   Copyright (C) 2008
+   CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
+
+   This file is part of CACAO.
+
+   This program is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License as
+   published by the Free Software Foundation; either version 2, or (at
+   your option) any later version.
+
+   This program is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA.
+
+*/
+
+
+import junit.framework.*;
+import junit.textui.*;
+
+public class PR65 extends TestCase {
+    public static void main(String[] args) {
+        TestRunner.run(suite());
+    }
+
+    public static Test suite() {
+        return new TestSuite(PR65.class);
+    }
+
+    public void test() {
+        try {
+            Object o = new int[2][1];
+            Number[][] na = (Number[][]) o;
+            fail("Should throw ClassCastException");
+        } catch (ClassCastException success) {
+        }
+    }
+}
-- 
2.25.1