Javadoc
Called for all type mungers but only does something if they share type variables with a generic type which they target. When
this happens this routine will check for the target type in the target hierarchy and 'bind' any type parameters as
appropriate. For example, for the ITD "List I.x" against a type like this: "class A implements I" this routine
will return a parameterized form of the ITD "List I.x"