diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-14 20:58:20 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-14 20:58:20 +0000 |
| commit | e8e82ce032f8678929b015e6f70ac060bb2cf94c (patch) | |
| tree | 9fb158e9f7115bb70cf2b8623b70710c55497ed4 /crates/ra_hir/src/ty/tests/data/basics.txt | |
| parent | 784ff638e549a27503b719e5c2f0009b40d25364 (diff) | |
| parent | 37ba237e6686d94783d1f025d23823ad7c0cb0c8 (diff) | |
Merge #485
485: Add type inference for a bunch of primitives r=flodiebold a=marcusklaas
This PR adds inference for `&str`, `&[u8]`, `char`, `bool`, floats and integers. For floats and integers it uses type variables to infer the exact type, i.e. `u32`, from context when it's not annotated explicitly.
I'm not quite happy with the implementation yet, but I think it mostly works now.
Co-authored-by: Marcus Klaas de Vries <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/tests/data/basics.txt')
| -rw-r--r-- | crates/ra_hir/src/ty/tests/data/basics.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/ra_hir/src/ty/tests/data/basics.txt b/crates/ra_hir/src/ty/tests/data/basics.txt index ac7faae0a..e65fe07aa 100644 --- a/crates/ra_hir/src/ty/tests/data/basics.txt +++ b/crates/ra_hir/src/ty/tests/data/basics.txt | |||
| @@ -7,7 +7,7 @@ | |||
| 7 | [55; 56) 'b': isize | 7 | [55; 56) 'b': isize |
| 8 | [62; 63) 'c': ! | 8 | [62; 63) 'c': ! |
| 9 | [69; 70) 'd': &str | 9 | [69; 70) 'd': &str |
| 10 | [76; 82) '1usize': [unknown] | 10 | [76; 82) '1usize': usize |
| 11 | [88; 94) '1isize': [unknown] | 11 | [88; 94) '1isize': isize |
| 12 | [100; 106) '"test"': [unknown] | 12 | [100; 106) '"test"': &str |
| 13 | [112; 118) '1.0f32': [unknown] | 13 | [112; 118) '1.0f32': f32 |