invocationTypeInference