1 files changed, 14 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