Closed degory closed 7 months ago
Some contexts such as return statements create type constraints that improve type inference in if expressions.
These constraints should be passed through let in to any if in the following expression and also through any nested if expressions.
let
in
Some contexts such as return statements create type constraints that improve type inference in if expressions.
These constraints should be passed through
letinto any if in the following expression and also through any nested if expressions.