diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-15 14:54:04 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-15 14:54:04 +0100 |
commit | e0ef6d5c093ceaa64f4e3d3f7a616e0c19f6bef5 (patch) | |
tree | 19a00b2f7c8be828452a6857cd28038da64057c2 /crates/ra_hir_ty/src/infer/path.rs | |
parent | fbdc3c78494dfd2127638feb1de2ebd157667d6d (diff) | |
parent | 4c08fc9be3f7b79e3040a154aa97c29c97ee5a49 (diff) |
Merge #5394
5394: Add missing cancellation point r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/path.rs')
0 files changed, 0 insertions, 0 deletions