diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-25 21:44:20 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-25 21:44:20 +0100 |
| commit | 870ce4b1a50a07e3a536ab26215804acdfc9ba8a (patch) | |
| tree | 2ea0c53b6d7b09998dbc0b32d4552aeb30d210ed /crates/ra_hir/src/ty/infer.rs | |
| parent | 0d277faf6c4052dcc80037fc43b4986980d0814b (diff) | |
| parent | a525e830a62272d21fbb0fb1c20bfa865791512d (diff) | |
Merge #1912
1912: add new editing API, suitable for modifying several nodes at once r=viorina a=matklad
r? @viorina
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/infer.rs')
0 files changed, 0 insertions, 0 deletions