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/syntax/src/ast/token_ext.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:
![Code_znn6VgLLH9](https://user-images.githubusercontent.com/3757771/99408084-213f7100-28f0-11eb-8317-3f5c2b93313d.png)
After:
![Code_c4jJsvzOEA](https://user-images.githubusercontent.com/3757771/99408096-23093480-28f0-11eb-9bb2-8ebf2fb3d5a1.png)
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/syntax/src/ast/token_ext.rs')
0 files changed, 0 insertions, 0 deletions