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/patterns.md
+6-4
Original file line number
Diff line number
Diff line change
@@ -22,20 +22,22 @@ A *declaration_pattern* and a *var_pattern* can result in the declaration of a l
22
22
23
23
Each pattern form defines the set of types for input values that the pattern may be applied to. A pattern `P` is *applicable to* a type `T` if `T` is among the types whose values the pattern may match. It is a compile-time error if a pattern `P` appears in a program to match a pattern input value ([§11.1](patterns.md#111-general)) of type `T` if `P` is not applicable to `T`.
24
24
25
-
> *Example*: The following example generates a compile-time error because the compile-time type of `v` is `Stream`. A variable of type `Stream` can never have a value that is referencecompatible with `string`:
25
+
> *Example*: The following example generates a compile-time error because the compile-time type of `v` is `TextReader`. A variable of type `TextReader` can never have a value that is reference-compatible with `string`:
Copy file name to clipboardExpand all lines: standard/variables.md
+1
Original file line number
Diff line number
Diff line change
@@ -335,6 +335,7 @@ The definite-assignment state of *v* at the beginning of a case’s guard clause
335
335
336
336
> *Example*: The second rule eliminates the need for the compiler to issue an error if an unassigned variable is accessed in unreachable code. The state of *b* is “definitely assigned” in the unreachable switch label `case 2 when b`.
0 commit comments