diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-31 20:47:23 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-31 20:47:23 +0100 |
| commit | 1914d0aa7b5518c743e7403da6d7eea3fe28e955 (patch) | |
| tree | ae48a497fbe6ef49c5b8a9a0431c778953c428a0 /xtask/src/ast_src.rs | |
| parent | 215b9b9cccd66c9e9413e7581931371daa0c94e5 (diff) | |
| parent | 22d295ceaaee76dbd555cdeedc0ed7578e66279d (diff) | |
Merge #5633
5633: Rename DotDotPat -> RestPat r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'xtask/src/ast_src.rs')
| -rw-r--r-- | xtask/src/ast_src.rs | 2 |
1 files changed, 1 insertions, 1 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 { | |||
| 128 | "BOX_PAT", | 128 | "BOX_PAT", |
| 129 | "IDENT_PAT", | 129 | "IDENT_PAT", |
| 130 | "WILDCARD_PAT", | 130 | "WILDCARD_PAT", |
| 131 | "DOT_DOT_PAT", | 131 | "REST_PAT", |
| 132 | "PATH_PAT", | 132 | "PATH_PAT", |
| 133 | "RECORD_PAT", | 133 | "RECORD_PAT", |
| 134 | "RECORD_PAT_FIELD_LIST", | 134 | "RECORD_PAT_FIELD_LIST", |