2 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t4603/J.java b/test/files/pos/t4603/J.java
new file mode 100644
index 0000000000..0c3f6b2bf2
--- /dev/null
+++ b/test/files/pos/t4603/J.java
@@ -0,0 +1,7 @@
+// J.java
+public class J<T> {
+  public static void f(java.lang.Class<? extends J> cls) { }
+  // correctly it should be like this, and then it would work.
+  // unfortunately that doesn't mean we don't have to deal with it.
+  // public static void f(java.lang.Class<? extends J<?>> cls) { }
+}
diff --git a/test/files/pos/t4603/S.scala b/test/files/pos/t4603/S.scala
new file mode 100644
index 0000000000..c7d809d9f7
--- /dev/null
+++ b/test/files/pos/t4603/S.scala
@@ -0,0 +1,8 @@
+// S.scala
+class S extends J[AnyRef]
+
+object Test {
+  def main(args:Array[String]) {
+    J.f(classOf[S])
+  }
+}