For quickly recognizing the pattern '!void'

for quickly recognizing the pattern 'void'

return a version of this type pattern in which all type variable references have been replaced by their corresponding entry in the map.

This is called during concretization of pointcuts, it is used by BindingTypePattern to return a new BindingTypePattern with a formal index appropriate for the advice, rather than for the lexical declaration, i.e. this handles transformations through named pointcuts.

pointcut foo(String name): args(name);
--> This makes a BindingTypePattern(0) pointing to the 0th formal

before(Foo f, String n): this(f) && foo(n) { ... }
--> when resolveReferences is called on the args from the above, it
    will return a BindingTypePattern(1)

before(Foo f): this(f) && foo(*) { ... }
--> when resolveReferences is called on the args from the above, it
    will return an ExactTypePattern(String)

This can modify in place, or return a new TypePattern if the type changes.