Class TypeVariableSubstitutor.Visitor