diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-07 14:22:18 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-07 14:22:18 +0100 |
commit | 1e2178eb8e02b0118c8cad7e631368cbee94ea72 (patch) | |
tree | 141bc3c57c8b1436e188abb6fd73468567a7d411 /crates/ra_hir/src/nameres/collector.rs | |
parent | 36f5d997565b6390a4b524e7e1d0d805f0f26bdb (diff) | |
parent | b27fa33a9f459feb442682026670ca8e6001a424 (diff) |
Merge #1103
1103: Array inference r=flodiebold a=Lapz
Fixes the final item in #394. The only problem is that infering the repeat cause some types to be infered twices.
i.e
```rust
fn test() {
let y = unknown;
[y, &y];
}
```
results in the following diff:
```diff
[11; 48) '{ ...&y]; }': ()
[21; 22) 'y': &{unknown}
[25; 32) 'unknown': &{unknown}
-[38; 45) '[y, &y]': [&&{unknown}]
+[38; 45) '[y, &y]': [&&{unknown};usize]
[39; 40) 'y': &{unknown}
+[39; 40) 'y': &{unknown}
[42; 44) '&y': &&{unknown}
[43; 44) 'y': &{unknown}
```
Should the code produce two inference results for 'y' and if not could any tell me what needs to change.
Co-authored-by: Lenard Pratt <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/nameres/collector.rs')
0 files changed, 0 insertions, 0 deletions