diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-02 13:31:56 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-02 13:31:56 +0000 |
commit | 02f761ba4bd356ef2aeae5ed8bdd750c57ade30d (patch) | |
tree | 7aa72b74f8a6a973db8658fc69ed52f0c691090c /crates/ra_hir_ty/src/infer/unify.rs | |
parent | 79c874803b7c318106c8eb129046667aa3227e3e (diff) | |
parent | 57d0f238ccb52e50f20eef80742954a142fcd7bd (diff) | |
parent | 62e62d1c23213e67e22e37205eb78b273b13392f (diff) |
Merge #3397 #3398
3397: Minimal viable meta r=matklad a=matklad
bors r+
🤖
3398: Reformat? r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>