Fix pipe indents in when

This commit is contained in:
Joshua Warner 2025-01-11 10:35:09 -08:00
parent 1cc97fcfa7
commit 6d324590da
No known key found for this signature in database
GPG key ID: 89AD497003F93FDD
5 changed files with 65 additions and 3 deletions

View file

@ -1709,11 +1709,11 @@ fn fmt_when<'a>(
} else {
if is_multiline_patterns {
buf.ensure_ends_with_newline();
buf.indent(indent + INDENT);
buf.push('|');
} else {
buf.push_str(" |");
buf.ensure_ends_with_whitespace();
}
buf.indent(indent + INDENT);
buf.push_str("|");
buf.spaces(1);