diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-03-05 10:32:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-05 10:32:07 +0000 |
| commit | 79a7ba0bdf30699163b23094818605b34afbddc8 (patch) | |
| tree | 6b3a171a7d08d1f3a8f98fed959c7d4d0c5b2df4 /src/test/codegen/src-hash-algorithm | |
| parent | f1f9163b27cf5413f932ffa24c6f4a97497fa0f8 (diff) | |
| parent | c49bcc78144b0a7f3b2180219d593566e63a95c5 (diff) | |
| download | rust-79a7ba0bdf30699163b23094818605b34afbddc8.tar.gz rust-79a7ba0bdf30699163b23094818605b34afbddc8.zip | |
Merge #11623
11623: fix: Add type variable table to InferenceTableSnapshot r=flodiebold a=tysg Fixes #11601. I observed that removing the `rollback` line in https://github.com/rust-analyzer/rust-analyzer/commit/6fc3d3aa4cbf637d748c60cfdbb98b5f6a040576 fixes the issue. Looking at the stacktrace, I believe not restoring `type_variable_table` causes `type_variable_table` and `var_unification_table` to go out of sync, then when `hir_ty::infer::unify::InferenceTable::new_var` tries to extend `type_variable_table` to be the same length as `var_unification_table`, problems will arise. However, I cannot pinpoint exactly how or where the vector capacity overflow happens, so my understanding might not be correct after all. Co-authored-by: Tianyi Song <42670338+tysg@users.noreply.github.com>
Diffstat (limited to 'src/test/codegen/src-hash-algorithm')
0 files changed, 0 insertions, 0 deletions