invocationTypeInferenceBoundsSetB3