CalculateRequiredTypesStage properly assigns type constraint for AssignmentExpr and CallInterface objects at the moment.