From 037fda0f7735ce72f63abef9f821132b9381b429 Mon Sep 17 00:00:00 2001
From: pushkine <pushkine.github@gmail.com>
Date: Mon, 7 Feb 2022 15:38:41 +0100
Subject: [PATCH] Update patterns.md

---
 src/patterns.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/patterns.md b/src/patterns.md
index a03ab2c2a..e13f198bc 100644
--- a/src/patterns.md
+++ b/src/patterns.md
@@ -174,7 +174,7 @@ for i in -2..5 {
 
 > **<sup>Syntax</sup>**\
 > _IdentifierPattern_ :\
-> &nbsp;&nbsp; &nbsp;&nbsp; `ref`<sup>?</sup> `mut`<sup>?</sup> [IDENTIFIER] (`@` [_Pattern_] ) <sup>?</sup>
+> &nbsp;&nbsp; &nbsp;&nbsp; `ref`<sup>?</sup> `mut`<sup>?</sup> [IDENTIFIER] (`@` [_PatternNoTopAlt_] ) <sup>?</sup>
 
 Identifier patterns bind the value they match to a variable. The identifier
 must be unique within the pattern. The variable will shadow any variables of
@@ -852,6 +852,7 @@ result in a type mismatch between `x` in the different subpatterns.
 [_PathExpression_]: expressions/path-expr.md
 [_PathPattern_]: #path-patterns
 [_Pattern_]: #patterns
+[_PatternNoTopAlt_]: #patterns
 [_PatternWithoutRange_]: #patterns
 [_QualifiedPathInExpression_]: paths.md#qualified-paths
 [_RangePattern_]: #range-patterns