diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-09 09:42:24 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-09 09:42:24 +0100 |
| commit | d7a0b0ff913d717fa6e7c5a1db02a30316760a75 (patch) | |
| tree | aa363cb56e41042da6db6712834910c2db771505 /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | 1acb556907027622a07189aefa627502f6500b5a (diff) | |
| parent | e83a2912b8deaab560d1ea39232c06a29530d6e5 (diff) | |
Merge #4381
4381: Simplify 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