diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-08 23:03:20 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-08 23:03:20 +0100 |
| commit | 733ef3163c7423d8307d2df4503c08870b5a35b7 (patch) | |
| tree | b78e0b408ab7a91660e701188fc66a5f2eadac1d /crates/ra_hir_ty/src/traits/chalk/mapping.rs | |
| parent | 3999bbba1bba45ae9d577506c6414f741e1fe80a (diff) | |
| parent | 38fa4d17fb9622044ee0f0bc50d6c71d5aa46dd1 (diff) | |
Merge #4804
4804: Simplify API 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