diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-24 16:18:12 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-24 16:18:12 +0000 |
| commit | bd4ea87f7442541123e3bbd7e17bfecdfb3c18c6 (patch) | |
| tree | ef855bb9a4e77b2a99657e2e9ed3708c44ca104b /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | 49b9c8a0524e53f9bd75b50b6e87d7d88587629f (diff) | |
| parent | f551e50c16d189a724885ce5f208595a31af49cc (diff) | |
Merge #3294
3294: When joining lines, unwrap trivial diverging blocks 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