From 311d26eeec387fc6365734d4d9991bb99f962325 Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Mon, 8 Aug 2005 15:18:46 +0000
Subject: genericitds: reusing similar specifications for type variables in the
 same aspect 'Comparable<? super T/P>'.  If our logic isnt working correctly,
 it reports a problem with calls to the second ITD thinking it is specified as
 '<P extends Object & Comparable<? super T>>'

---
 tests/java5/generics/itds/ReusingLetters.aj | 30 +++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 tests/java5/generics/itds/ReusingLetters.aj

(limited to 'tests/java5')

diff --git a/tests/java5/generics/itds/ReusingLetters.aj b/tests/java5/generics/itds/ReusingLetters.aj
new file mode 100644
index 000000000..9dda34f04
--- /dev/null
+++ b/tests/java5/generics/itds/ReusingLetters.aj
@@ -0,0 +1,30 @@
+import java.util.*;
+
+class Victim {}
+
+public class ReusingLetters {
+  public static void main(String []argv) {
+    Victim v = new Victim();
+    
+    List<A> as = new ArrayList<A>();
+    v.b(as);
+    v.c(as);
+
+
+  }
+ 
+}
+
+class A implements Comparable<A> { 
+  public int compareTo(A a) { return 0; }
+}
+
+aspect X { 
+
+  public <T extends Object & Comparable<? super T>> 
+    void Victim.b(List<T> l) {}
+
+  public <P extends Object & Comparable<? super P>> 
+    void Victim.c(List<P> col) {};
+  
+}
-- 
cgit v1.2.3