diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-08-17 16:57:02 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-17 16:57:02 +0100 |
| commit | 5a2a97c7e8cfac690a00505d8644be30f7ee863a (patch) | |
| tree | eba980071d5c8941fdd3adc11fc5525d243ba2b3 /crates/ra_hir/src/impl_block.rs | |
| parent | d15cf2c9600e0464b9bcd0273e7845efbf7bdeb5 (diff) | |
| parent | 189d879659f4e44c3343023d6455bed7cdf0e7c9 (diff) | |
Merge #1694
1694: Implement initial type-inference support for Index r=flodiebold a=matklad
This doesn't actually infer indexing types, but at least it walks sub-expressions!
Initially, I wanted to make `Index` just a new kind of `BinOp` (b/c indexing is kind of a binary op), so I've refactoring binop handing a bit.
However, in the end I've decided to add a separate expr kind for Index, because `foo[0]`, `&foo[1]` and `&mut foo[1]` all seem to need slightly different handing, which is not binop-like
r? @flodiebold
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/impl_block.rs')
0 files changed, 0 insertions, 0 deletions