diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-24 14:41:37 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-24 14:41:37 +0000 |
commit | 49b9c8a0524e53f9bd75b50b6e87d7d88587629f (patch) | |
tree | 27c760a47051147b61ed5bec7bffccdc615fc14c /crates/ra_hir_ty/src/infer.rs | |
parent | cba3c991c8188e87363bbff190e9528606140808 (diff) | |
parent | cc1469fe9e905799175bf7136b6909683b46b304 (diff) |
Merge #3293
3293: Cleanp r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions