diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-17 15:47:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-17 15:47:36 +0000 |
| commit | f4b4f17662a7a1c80743b3108bb0da28b0fe47e5 (patch) | |
| tree | 2aa244cb6844eafa43a7a03178319fb6de20512f /crates/hir_ty/src/autoderef.rs | |
| parent | 1863c0c7327724479b165c0ce91dcd54663334fd (diff) | |
| parent | c868f0255f677a4cedb62c27af96758fffdd6f8f (diff) | |
Merge #6582
6582: Fill the diagnostic code field in publish_diagnostics r=kjeremy a=Veykril
Fixes #6580
Before:
After:
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/autoderef.rs')
0 files changed, 0 insertions, 0 deletions