diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-06 21:54:14 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-06 21:54:14 +0000 |
commit | c365329911bfb33410da0363a4783f102094283f (patch) | |
tree | d912c15567800abbcaeb04798b8daf9eb1431f7f /crates/hir_ty/src/diagnostics/decl_check/case_conv.rs | |
parent | 7f12a1f225c7d3397f27964ce039b55d680772d3 (diff) | |
parent | 5db789df9c767985a564a31cc593ce7f5964100e (diff) |
Merge #6486
6486: Cleanup API r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/decl_check/case_conv.rs')
0 files changed, 0 insertions, 0 deletions