1 files changed, 17 insertions, 0 deletions
diff --git a/tests/bugs190/532210/Code.java b/tests/bugs190/532210/Code.java
new file mode 100644
index 000000000..da614d2df
--- /dev/null
+++ b/tests/bugs190/532210/Code.java
@@ -0,0 +1,17 @@
+import java.lang.annotation.*;
+
+@Retention(RetentionPolicy.RUNTIME)
+@interface Nullable {}
+
+interface I {
+	void n(Object o);
+}
+
+public class Code implements I {
+	public void m(@Nullable Object v) {}
+	@Override public void n(@Nullable Object v) {}
+}
+
+aspect X {
+	 before(Object o): execution(* *(!@Nullable (*))) && args(o) { }
+}