// invalid: let x = if p { nil } else { 2.0 } // valid with required type context: let x: Double? = if p { nil } else { 2.0 } (edited)