diff options
author | Lukas Wirth <[email protected]> | 2020-12-21 14:10:27 +0000 |
---|---|---|
committer | Lukas Wirth <[email protected]> | 2020-12-21 14:10:27 +0000 |
commit | 2cd2947bf8cb7abfb06ceb00804447def899d37d (patch) | |
tree | df77edcd7823004b08a0d1e43d9ad2446c847522 /crates/completion/src/render | |
parent | 33ecad4407e1345cd662f535c2ae7a04e4bee52b (diff) |
Insert snippet positions after fields names in record patterns
Diffstat (limited to 'crates/completion/src/render')
-rw-r--r-- | crates/completion/src/render/pattern.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/completion/src/render/pattern.rs b/crates/completion/src/render/pattern.rs index 2d1600105..073d50a11 100644 --- a/crates/completion/src/render/pattern.rs +++ b/crates/completion/src/render/pattern.rs | |||
@@ -121,7 +121,7 @@ fn render_record_as_pat( | |||
121 | "{name} {{ {}{} }}", | 121 | "{name} {{ {}{} }}", |
122 | fields | 122 | fields |
123 | .enumerate() | 123 | .enumerate() |
124 | .map(|(idx, field)| format!("${{{}:{}}}", idx + 1, field.name(db))) | 124 | .map(|(idx, field)| format!("{}${}", field.name(db), idx + 1)) |
125 | .format(", "), | 125 | .format(", "), |
126 | if fields_omitted { ", .." } else { "" }, | 126 | if fields_omitted { ", .." } else { "" }, |
127 | name = name | 127 | name = name |