diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-10 12:45:07 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-10 12:45:07 +0000 |
commit | 77362c71735a8b5ab4b5cd9f396fa657fbffe2cb (patch) | |
tree | 8c47a7929d15e6e4b36a854a662c3ea5ee7d972c /crates/hir_def/src/nameres/tests/mod_resolution.rs | |
parent | dcbb77cb6c75db9b300abe0fe6ed4668e2ef1193 (diff) | |
parent | 78fe6133c4908aefcf5c690e665abba9ef2389eb (diff) |
Merge #6238
6238: Split punctuation semantic highlighting up into more tags r=matklad a=Veykril
Open question would be the name of the delimiter modifiers. I chose them this was as I see them this way but from what I remember people tend to mix the names however they like. So maybe using `delimSquare`, `delimCurly`, `delimRound` would be better. That would also go well with `angle` becoming `delimAngle`?
Closes #6152
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir_def/src/nameres/tests/mod_resolution.rs')
0 files changed, 0 insertions, 0 deletions