6 files changed, 12 insertions, 0 deletions
diff --git a/tests/bugs163/pr254207/Abstract.java b/tests/bugs163/pr254207/Abstract.java
new file mode 100644
index 000000000..27653b6cc
--- /dev/null
+++ b/tests/bugs163/pr254207/Abstract.java
@@ -0,0 +1,3 @@
+public abstract aspect Abstract<T extends Integer> {
+  public abstract T getT();
+}
+\ No newline at end of file
diff --git a/tests/bugs163/pr254207/Concrete.java b/tests/bugs163/pr254207/Concrete.java
new file mode 100644
index 000000000..08fe39d2b
--- /dev/null
+++ b/tests/bugs163/pr254207/Concrete.java
@@ -0,0 +1,5 @@
+public aspect Concrete extends Abstract<Number> {
+  public Number getT() {
+    return 5;
+  }
+}
diff --git a/tests/bugs163/pr254207/case2/Abstract.java b/tests/bugs163/pr254207/case2/Abstract.java
new file mode 100644
index 000000000..7df4e5f66
--- /dev/null
+++ b/tests/bugs163/pr254207/case2/Abstract.java
@@ -0,0 +1 @@
+public abstract aspect Abstract<T extends Interface> {}
diff --git a/tests/bugs163/pr254207/case2/Clazz.java b/tests/bugs163/pr254207/case2/Clazz.java
new file mode 100644
index 000000000..afa206cf5
--- /dev/null
+++ b/tests/bugs163/pr254207/case2/Clazz.java
@@ -0,0 +1 @@
+public class Clazz {}
diff --git a/tests/bugs163/pr254207/case2/Concrete.java b/tests/bugs163/pr254207/case2/Concrete.java
new file mode 100644
index 000000000..29b326ec5
--- /dev/null
+++ b/tests/bugs163/pr254207/case2/Concrete.java
@@ -0,0 +1 @@
+public aspect Concrete extends Abstract<Clazz> {}
diff --git a/tests/bugs163/pr254207/case2/Interface.java b/tests/bugs163/pr254207/case2/Interface.java
new file mode 100644
index 000000000..d99005812
--- /dev/null
+++ b/tests/bugs163/pr254207/case2/Interface.java
@@ -0,0 +1 @@
+public interface Interface {}