diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-18 15:05:54 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-18 15:05:54 +0100 |
| commit | 1e35c7405560b2c0badaa9ee4945a131b733bda8 (patch) | |
| tree | 184cf277833e3a6d6a922f4a7f98a2c63fbc9765 /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | f7f627d342e89585350e9c8b42764d207eb33352 (diff) | |
| parent | 42be05a335f21fa2d0f2225ffc29482d2c995316 (diff) | |
Merge #4941
4941: Simplify r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions