Maybe because the dominant use pattern where return cannot be substituted by output parameters is in expressions. In other words if there were no expressions th

Maybe because the dominant use pattern where return cannot be substituted by output parameters is in expressions. In other words if there were no expressions then return would not be needed at all.