2 files changed, 19 insertions, 0 deletions
diff --git a/test/pending/run/t4713/JavaAnnots.java b/test/pending/run/t4713/JavaAnnots.java
new file mode 100644
index 0000000000..29541b1ee0
--- /dev/null
+++ b/test/pending/run/t4713/JavaAnnots.java
@@ -0,0 +1,14 @@
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+import java.util.List;
+
+public abstract class JavaAnnots {
+  @Retention(RetentionPolicy.RUNTIME)
+  @Target(ElementType.FIELD)
+  public @interface Book {
+  }
+
+  public static final List<String> Book = null;
+}
+\ No newline at end of file
diff --git a/test/pending/run/t4713/Problem.scala b/test/pending/run/t4713/Problem.scala
new file mode 100644
index 0000000000..e87f657d2e
--- /dev/null
+++ b/test/pending/run/t4713/Problem.scala
@@ -0,0 +1,5 @@
+object Problem {
+  def d() {
+    val v: java.util.List[String] = JavaAnnots.Book
+  }
+}