bors bd59dc8e4c Auto merge of #18139 - ShoyuVanilla:issue-18109, r=Veykril ... fix: Extend `type_variable_table` when modifying index is larger than the table size Fixes #18109 Whenever we create an inference variable in r-a, we extend `type_variable_table` to matching size here; f4aca78c92/crates/hir-ty/src/infer/unify.rs (L378-L381) But sometimes, an inference variable is [created from chalk](ab710e0c9b/chalk-solve/src/infer/unify.rs (L743)) and passed to r-a as a type of an expression or a pattern. If r-a set diverging flag to this before the table is extended to a sufficient size, it panics here; f4aca78c92/crates/hir-ty/src/infer/unify.rs (L275-L277) I think that extending table when setting diverging flag is reasonable becase we are already doing such extending to a size that covers the inference vars created from chalk and this change only covers the order-dependent random cases that this might fail		2024-09-18 20:01:38 +00:00
..
src	Auto merge of #18139 - ShoyuVanilla:issue-18109, r=Veykril	2024-09-18 20:01:38 +00:00
Cargo.toml	Replace once_cell with std's recently stabilized OnceCell/Lock and LazyCell/Lock	2024-08-16 09:53:37 +03:00