diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-21 08:33:25 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-21 08:33:25 +0000 |
| commit | cc53252e8718540cf392c1cd40951ef685bd52a0 (patch) | |
| tree | 00fe318ca7dc6400bc0bf0a6e18bc7bed9a1b7d7 /crates/hir_ty/src/autoderef.rs | |
| parent | 70f7a10013775c1dce10b0d7a7724a48bb76b065 (diff) | |
| parent | e42dfd7a40f359e691abb2f7a3cc08c089f72e9a (diff) | |
Merge #7367
7367: Bump chalk r=lnicola a=lnicola
Fixes #6945
Fixes #6812
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/autoderef.rs')
0 files changed, 0 insertions, 0 deletions