PR336880 PR336774 PR336745

7 files changed, 58 insertions, 0 deletions

diff --git a/tests/bugs1611/pr336745/Foo.aj b/tests/bugs1611/pr336745/Foo.aj
new file mode 100644
index 000000000..7191fd09a
--- /dev/null
+++ b/tests/bugs1611/pr336745/Foo.aj
@@ -0,0 +1,10 @@
+aspect Foo {
+ public <T extends I> void C.mitd(T something) {}
+}
+
+class C {
+  <T extends I> void m(T something) {}
+}
+
+interface I {}
+
diff --git a/tests/bugs1611/pr336774/First.java b/tests/bugs1611/pr336774/First.java
new file mode 100644
index 000000000..8e6b9c464
--- /dev/null
+++ b/tests/bugs1611/pr336774/First.java
@@ -0,0 +1,7 @@
+interface NodeBacked {
+//  <T extends NodeBacked> T projectTo(Class<T> cts);
+}
+
+aspect X {
+  public <T extends NodeBacked> T NodeBacked.projectTo(Class<T> cts) {return null;}
+}
diff --git a/tests/bugs1611/pr336774/One.java b/tests/bugs1611/pr336774/One.java
new file mode 100644
index 000000000..095a51078
--- /dev/null
+++ b/tests/bugs1611/pr336774/One.java
@@ -0,0 +1,7 @@
+interface NodeBacked2 {
+  Object projectTo(Class cts);
+}
+
+aspect X {
+  public Object NodeBacked2.projectTo(Class cts) {return null;}
+}
diff --git a/tests/bugs1611/pr336774/Test.java b/tests/bugs1611/pr336774/Test.java
new file mode 100644
index 000000000..9b2e16eba
--- /dev/null
+++ b/tests/bugs1611/pr336774/Test.java
@@ -0,0 +1,5 @@
+class Test implements NodeBacked {
+  public void test() {
+    projectTo(null);
+  }
+}
diff --git a/tests/bugs1611/pr336774/Two.java b/tests/bugs1611/pr336774/Two.java
new file mode 100644
index 000000000..01ce9ec12
--- /dev/null
+++ b/tests/bugs1611/pr336774/Two.java
@@ -0,0 +1,5 @@
+class Two implements NodeBacked2 {
+  public void test() {
+    projectTo(null);
+  }
+}
diff --git a/tests/bugs1611/pr336880/First.java b/tests/bugs1611/pr336880/First.java
new file mode 100644
index 000000000..ad46da0c6
--- /dev/null
+++ b/tests/bugs1611/pr336880/First.java
@@ -0,0 +1,11 @@
+interface II {}
+
+
+aspect X {
+  public <XXX extends I1, YYY extends I2> YYY II.foo(XXX r, Class<YYY> ct) {
+return null;
+  }
+}
+
+interface I1 {}
+interface I2 {}
diff --git a/tests/bugs1611/pr336880/Second.java b/tests/bugs1611/pr336880/Second.java
new file mode 100644
index 000000000..257f169b2
--- /dev/null
+++ b/tests/bugs1611/pr336880/Second.java
@@ -0,0 +1,13 @@
+class C implements II {}
+
+class D {
+  public static void m() {
+    C c = new C();
+    E1 e1 = new E1();
+    E2 e2 = new E2();
+    c.foo(e1,e2.getClass());
+  }
+}
+
+class E1 implements I1 {}
+class E2 implements I2 {}