Rename DotDotPat -> RestPat

2 files changed, 3 insertions, 3 deletions

diff --git a/xtask/src/ast_src.rs b/xtask/src/ast_src.rs
index 2ff029158..1386fc4e7 100644
--- a/xtask/src/ast_src.rs
+++ b/xtask/src/ast_src.rs
@@ -128,7 +128,7 @@ pub(crate) const KINDS_SRC: KindsSrc = KindsSrc {
         "BOX_PAT",
         "IDENT_PAT",
         "WILDCARD_PAT",
-        "DOT_DOT_PAT",
+        "REST_PAT",
         "PATH_PAT",
         "RECORD_PAT",
         "RECORD_PAT_FIELD_LIST",
diff --git a/xtask/src/codegen/rust.ungram b/xtask/src/codegen/rust.ungram
index 25d6f7a20..02f5aa732 100644
--- a/xtask/src/codegen/rust.ungram
+++ b/xtask/src/codegen/rust.ungram
@@ -498,7 +498,7 @@ TypeBound =
 Pat =
   IdentPat
 | BoxPat
-| DotDotPat
+| RestPat
 | LiteralPat
 | MacroPat
 | OrPat
@@ -560,7 +560,7 @@ OrPat =
 BoxPat =
   'box' Pat
 
-DotDotPat =
+RestPat =
   '..'
 
 MacroPat =