diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-09 10:48:40 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-09 10:48:40 +0100 |
| commit | 91005ecc27427f46529b9372f91e5072dfe5e179 (patch) | |
| tree | ae8f546d6822b0727da89e82d224496f130685a9 /crates/ra_hir_ty/src/traits/chalk/mapping.rs | |
| parent | f9d41bd18fa8e51580f223464d200342de7c6d4a (diff) | |
| parent | 8e1ebbcc136d1bb8f120d0db2625b70a37b756f8 (diff) | |
Merge #5279
5279: Simplify r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions