fix for newsgroup reported problem w. assignability matching on type variables

diff --git a/weaver/src/org/aspectj/weaver/ReferenceType.java b/weaver/src/org/aspectj/weaver/ReferenceType.java
index 1a4e36aba50ef5b32cec45055d5e2a1891cc0ebc..0061e3f992f11758990b23d72819a52bfa262d1d 100644 (file)
--- a/weaver/src/org/aspectj/weaver/ReferenceType.java
+++ b/weaver/src/org/aspectj/weaver/ReferenceType.java
@@ -278,6 +278,11 @@ public class ReferenceType extends ResolvedType {
                        }
                }
 
+               if (other.isTypeVariableReference()) {
+                       TypeVariableReferenceType otherType = (TypeVariableReferenceType) other;
+                       return this.isAssignableFrom(otherType.getUpperBound().resolve(world));
+               }
+               
         for(Iterator i = other.getDirectSupertypes(); i.hasNext(); ) {
             if (this.isAssignableFrom((ResolvedType) i.next())) return true;
         }