1 files changed, 25 insertions, 0 deletions
diff --git a/tests/bugs180/pr432714/Code.java b/tests/bugs180/pr432714/Code.java
new file mode 100644
index 000000000..af871ab18
--- /dev/null
+++ b/tests/bugs180/pr432714/Code.java
@@ -0,0 +1,25 @@
+public class Code {
+  public static void main(String[]argv) {
+  }
+
+  public void foo(UID x) {
+      bar((x instanceof UID ? E.one : E.two));
+  }
+
+  public static void bar(FM fm) { }
+}
+
+aspect X {
+  void around(): execution(* foo(..)) {
+  }
+}
+
+class E {
+    static BBB one;
+    static CCC two;
+    class BBB extends FM<String> {}
+    class CCC extends FM<Long> {}
+}
+class FM<T> {}
+
+class UID {}