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/tests/simple.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/tests/simple.rs')
0 files changed, 0 insertions, 0 deletions