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/let.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/let.txt')
| -rw-r--r-- | crates/ra_hir/src/ty/tests/data/let.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_hir/src/ty/tests/data/let.txt b/crates/ra_hir/src/ty/tests/data/let.txt index 30f4a2cf5..8815dba41 100644 --- a/crates/ra_hir/src/ty/tests/data/let.txt +++ b/crates/ra_hir/src/ty/tests/data/let.txt | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | [11; 71) '{ ...= b; }': () | 1 | [11; 71) '{ ...= b; }': () |
| 2 | [21; 22) 'a': [unknown] | 2 | [21; 22) 'a': isize |
| 3 | [25; 31) '1isize': [unknown] | 3 | [25; 31) '1isize': isize |
| 4 | [41; 42) 'b': usize | 4 | [41; 42) 'b': usize |
| 5 | [52; 53) '1': usize | 5 | [52; 53) '1': usize |
| 6 | [63; 64) 'c': usize | 6 | [63; 64) 'c': usize |