diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-29 10:56:10 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-29 10:56:10 +0000 |
| commit | b53ff214aa9fe30eeedb64f78cc89561060c0083 (patch) | |
| tree | f78e3650b3cd4ca1f13a7fdc90b9f4f60e0c6ce0 /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | 7cf710c66f5645193a765ededfed77eaec9a19a9 (diff) | |
| parent | ca713e462b90afd650a5c07014e066d0aa4dbd69 (diff) | |
Merge #3374
3374: More orthogonal API for building paths 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