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

1 files changed, 5 insertions, 0 deletions

diff --git a/weaver/src/org/aspectj/weaver/ReferenceType.java b/weaver/src/org/aspectj/weaver/ReferenceType.java
index 1a4e36aba..0061e3f99 100644
--- 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;
         }