CalculateRequiredTypesStage now uses the call candidate's types to calculate the set of required types.