209831: ensure resolved before matching

diff --git a/weaver/src/org/aspectj/weaver/patterns/ExactTypePattern.java b/weaver/src/org/aspectj/weaver/patterns/ExactTypePattern.java
index 39c3877a01b1d04f985300e3d82a9af1657dad4f..99ff2c3520e6ef84a95d0a0e1d2b90fd238fd93f 100644 (file)
--- a/weaver/src/org/aspectj/weaver/patterns/ExactTypePattern.java
+++ b/weaver/src/org/aspectj/weaver/patterns/ExactTypePattern.java
@@ -134,6 +134,7 @@ public class ExactTypePattern extends TypePattern {
        // true if (matchType instanceof this.type)
        public FuzzyBoolean matchesInstanceof(ResolvedType matchType) {
                // in our world, Object is assignable from anything
+               annotationPattern.resolve(matchType.getWorld());
                if (type.equals(ResolvedType.OBJECT)) 
                    return FuzzyBoolean.YES.and(annotationPattern.matches(matchType));