diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-19 22:18:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-19 22:18:18 +0100 |
commit | 491eda61e30c90329e18f49499278fe3d7e9ccad (patch) | |
tree | d7bb6c3d9eface9d57cb9e608679b56af9ee2d8c /crates/ra_hir_ty/src/infer/unify.rs | |
parent | 1d4388f6bd02e6dda816028f0bdac7b39225ca0b (diff) | |
parent | d6e89244ec46bc4d12388975082beeba85ff0b9b (diff) |
Merge #4955
4955: Update workaround comment r=matklad a=Veetaha
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions