Skip to content

Commit c1d5e9b

Browse files
committed
Use consistent ITuple
This was in the incorrect namespace
1 parent 84e5d08 commit c1d5e9b

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

standard/patterns.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -558,7 +558,7 @@ In a *conjunctive_pattern*, the *input type* of the second pattern is narrowed b
558558
- If `P` is a type pattern, the *narrowed type* is the type of the type pattern's type.
559559
- Otherwise, if `P` is a declaration pattern, the *narrowed type* is the type of the declaration pattern's type.
560560
- Otherwise, if `P` is a recursive pattern that gives an explicit type, the *narrowed type* is that type.
561-
- Otherwise, if `P` is matched via the rules for `ITuple` in a *positional_pattern* (§11.2.5), the *narrowed type* is the type `System.Runtime.CompilerServices.ITuple`.
561+
- Otherwise, if `P` is matched via the rules for `ITuple` in a *positional_pattern* (§11.2.5), the *narrowed type* is the type `System.ITuple`.
562562
- Otherwise, if `P` is a constant pattern where the constant is not the null constant and where the expression has no *constant expression conversion* to the *input type*, the *narrowed type* is the type of the constant.
563563
- Otherwise, if `P` is a relational pattern where the constant expression has no *constant expression conversion* to the *input type*, the *narrowed type* is the type of the constant.
564564
- Otherwise, if `P` is an `or` pattern, the *narrowed type* is the common type of the *narrowed type* of the subpatterns if such a common type exists. For this purpose, the common type algorithm considers only identity, boxing, and implicit reference conversions, and it considers all subpatterns of a sequence of `or` patterns (ignoring parenthesized patterns).

0 commit comments

Comments
 (0)