diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-15 11:50:26 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-10-15 11:50:26 +0100 |
commit | 7dd09a7b34d7c9cc2739a1106b3e383b7d9044ff (patch) | |
tree | b6dc85cec3ffb066ef61f4fbe26f8a5353a29835 /crates/hir_def/src/nameres/tests/mod_resolution.rs | |
parent | ba6679dc6ce7065d349ac4d93ab86826b13e15a5 (diff) | |
parent | 010d123f23e0b3766b0501a5ad9dbdb47fee7ada (diff) |
Merge #6236
6236: Code: Insert a ZWNJ before `after` type hints r=matklad a=lnicola
to prevent the editor from displaying a ligature there.
Fixes #6235
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_def/src/nameres/tests/mod_resolution.rs')
0 files changed, 0 insertions, 0 deletions