diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-19 01:33:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-19 01:33:49 +0000 |
| commit | 00680a5d7c8f9ab41009d9925cb4c223a86a7615 (patch) | |
| tree | a857e7b44a051ce217166de5243d44492ad6d05a /crates/hir_ty/src/diagnostics/match_check.rs | |
| parent | 5231f4b27098d3eee621d2b781a92c6f3e9f267b (diff) | |
| parent | ca6548827634155f28e75bc6cb2e734d2d5d1e95 (diff) | |
Merge #7342
7342: Show deprecated completions for deprecated traits r=kjeremy a=SomeoneToIgnore
TIL that there are two kinds of deprecation tags and a few details about String methods.
<img width="472" alt="Screenshot 2021-01-19 at 01 11 38" src="https://user-images.githubusercontent.com/2690773/104970200-569d3380-59f3-11eb-9ee3-627b3c8a5c9d.png">
Co-authored-by: Kirill Bulatov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/match_check.rs')
0 files changed, 0 insertions, 0 deletions