223226: testcode

diff --git a/tests/bugs160/pr223226/AspectX.java b/tests/bugs160/pr223226/AspectX.java
new file mode 100644 (file)
index 0000000..188be0c
--- /dev/null
+++ b/tests/bugs160/pr223226/AspectX.java
@@ -0,0 +1,5 @@
+public aspect AspectX
+{
+        public A AspectXMarker<A,B>.doSomething(B b) { return null; }
+}
+

diff --git a/tests/bugs160/pr223226/AspectXMarker.java b/tests/bugs160/pr223226/AspectXMarker.java
new file mode 100644 (file)
index 0000000..7397de4
--- /dev/null
+++ b/tests/bugs160/pr223226/AspectXMarker.java
@@ -0,0 +1,4 @@
+public interface AspectXMarker <A, B extends BInterface<?> > extends   
+FooInterface<A, B>
+{ }
+

diff --git a/tests/bugs160/pr223226/BInterface.java b/tests/bugs160/pr223226/BInterface.java
new file mode 100644 (file)
index 0000000..790d496
--- /dev/null
+++ b/tests/bugs160/pr223226/BInterface.java
@@ -0,0 +1,2 @@
+public interface BInterface<S> { }
+

diff --git a/tests/bugs160/pr223226/Foo.java b/tests/bugs160/pr223226/Foo.java
new file mode 100644 (file)
index 0000000..aa42921
--- /dev/null
+++ b/tests/bugs160/pr223226/Foo.java
@@ -0,0 +1,2 @@
+public class Foo<B extends BInterface<?>> implements AspectXMarker<Integer, B>
+{}

diff --git a/tests/bugs160/pr223226/FooInterface.java b/tests/bugs160/pr223226/FooInterface.java
new file mode 100644 (file)
index 0000000..e4884ba
--- /dev/null
+++ b/tests/bugs160/pr223226/FooInterface.java
@@ -0,0 +1,5 @@
+public interface FooInterface<A,B>
+{
+        public A doSomething(B transition);
+}
+

diff --git a/tests/bugs160/pr223226/Test.java b/tests/bugs160/pr223226/Test.java
new file mode 100644 (file)
index 0000000..354916d
--- /dev/null
+++ b/tests/bugs160/pr223226/Test.java
@@ -0,0 +1,9 @@
+public class Test 
+{
+        public static void main(String[] args)
+        {
+                Foo<BInterface<Integer>> foo = new Foo<BInterface<Integer>>();
+
+                foo.doSomething(null);
+        }
+}