You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: standard/expressions.md
-1Lines changed: 0 additions & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -796,7 +796,6 @@ An *unfixed* type variable `Xᵢ` *depends directly on* an *unfixed* type varia
796
796
An *inputtypeinference* ismade *from* anexpression `E` *to* atype `T` inthefollowingway:
797
797
798
798
-If `E` isatupleexpression (§12.8.6) witharity `N` andelements `Eᵢ`, and `T` isatupletypewitharity `N` withcorrespondingelementtypes `Tₑ` or `T` isanullablevaluetype `T0?` and `T0` isatupletypewitharity `N` thathasacorrespondingelementtype `Tₑ`, thenfor each `Eᵢ`, an input type inference is made from `Eᵢ` to `Tₑ`.
799
-
- ```
800
799
- If `E` is an anonymous function, an *explicit parameter type inference* ([§12.6.3.8](expressions.md#12638-explicit-parameter-type-inferences)) ismade *from* `E` *to* `T`
0 commit comments