diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 22:49:32 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 22:49:32 +0000 |
| commit | cca39ebc24d3dfcfcbb2565843ee9f70891cb139 (patch) | |
| tree | e2996f670efd50d346cfa8dd0f836bcb65aca4dc /crates/ra_hir/src/ty/tests/data/bug_484.txt | |
| parent | f60153ee9e1d598c170743633448aa3ede8cb72e (diff) | |
| parent | 1212e59beed25d768bfaf7bb202aa955a87106e9 (diff) | |
Merge #491
491: Fix assertion error in unification (hopefully) r=flodiebold a=flodiebold
Currently, all types that we handle during inference need to be resolved as far
as possible at the time. It's maybe too brittle of an invariant; I need to think
how we can do this better. This should fix #484 though, I hope (if
it's the same case as I managed to reproduce).
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/tests/data/bug_484.txt')
| -rw-r--r-- | crates/ra_hir/src/ty/tests/data/bug_484.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/tests/data/bug_484.txt b/crates/ra_hir/src/ty/tests/data/bug_484.txt new file mode 100644 index 000000000..300530551 --- /dev/null +++ b/crates/ra_hir/src/ty/tests/data/bug_484.txt | |||
| @@ -0,0 +1,5 @@ | |||
| 1 | [11; 37) '{ l... {}; }': () | ||
| 2 | [20; 21) 'x': () | ||
| 3 | [24; 34) 'if true {}': () | ||
| 4 | [27; 31) 'true': bool | ||
| 5 | [32; 34) '{}': () | ||