CallCandidate scheme now causes the CalculateActualTypesStage to properly detect for which call candidates casts are required.