分枝

所有分支表示式都可以返回已計算的表示式。這意味著可以將分支結果分配給變數。在這種情況下，可以通過成功條件測試評估的所有表示式都必須傳遞型別統一。如果沒有給出 else 表示式，則推斷型別為 Void。