diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-16 11:50:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-16 11:50:21 +0100 |
commit | 364415b7d66bc9d42f21181d7f642e9f911c4711 (patch) | |
tree | 55a8ebfeb5891138502f0dd1e3aae7a0d0f71e57 /crates/ra_hir_ty/src/infer/unify.rs | |
parent | aa887d7ab463bae17ffca2aa7eaf1643ea27ab91 (diff) | |
parent | e8d0d79a0c34f01e93763b37a58de7eb58a4d2cf (diff) |
Merge #3989
3989: Update Chalk r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions