PEP 634: fix error in definition of irrefutable pattern

This commit is contained in:
Guido van Rossum 2020-10-22 09:46:38 -07:00
parent e75e964d56
commit ae72ad352a
1 changed files with 1 additions and 1 deletions

View File

@ -159,7 +159,7 @@ Irrefutable case blocks
A pattern is considered irrefutable if we can prove from its syntax
alone that it will always succeed. In particular, capture patterns
and wildcard patterns are irrefutable, and so are AS patterns whose
right-hand side is irrefutable, OR patterns containing at least
left-hand side is irrefutable, OR patterns containing at least
one irrefutable pattern, and parenthesized irrefutable patterns.
A case block is considered irrefutable if it has no guard and its