diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-11 16:56:30 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-11 16:56:30 +0000 |
| commit | 24731e107f3c4790fc5fe73b63ad251a9d6e62ae (patch) | |
| tree | 8d578ba430ba0e6db75ca0256dc5ac77b9636e01 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | d3700b80b1df09c1591cbf9b21642fa4b01a2174 (diff) | |
| parent | 64752ef5e9ccfdb0b9321fe23812b9b112d8b306 (diff) | |
Merge #6829
6829: Fix typo leading to metrics loss r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions