1 files changed, 23 insertions, 0 deletions
diff --git a/tests/bugs1612/prx/E.java b/tests/bugs1612/prx/E.java
new file mode 100644
index 000000000..bf9584b25
--- /dev/null
+++ b/tests/bugs1612/prx/E.java
@@ -0,0 +1,23 @@
+import java.lang.annotation.*;
+
+@Retention(RetentionPolicy.RUNTIME)
+@interface Anno {
+  Class value() default String.class;
+}
+
+public class E {
+
+  @Anno
+  public int i;
+
+  @Anno(Integer.class)
+  public int j;
+
+  public static void main(String []argv) {
+    System.out.println(new E().i);
+    System.out.println(new E().j);
+  }
+}
+aspect X {
+  before(): get(@Anno(value=String.class) * *) {}
+}