Matthias Krüger cb5ecff8b2 Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnr ... Fix ICEs related to `Deref<Target=[T; N]>` on newtypes 1. Stash a const infer's type into the canonical var during canonicalization, so we can recreate the fresh const infer with that same type. For example, given `[T; _]` we know `_` is a `usize`. If we go from infer => canonical => infer, we shouldn't forget that variable is a usize. Fixes #92626 Fixes #83704 2. Don't stash the autoderef'd slice type that we get from method lookup, but instead recreate it during method confirmation. We need to do this because the type we receive back after picking the method references a type variable that does not exist after probing is done. Fixes #92637 ... A better solution for the second issue would be to actually _properly_ implement `Deref` for `[T; N]` instead of fixing this autoderef hack to stop leaking inference variables. But I actually looked into this, and there are many complications with const impls.		2022-01-18 04:41:58 +01:00
..
src	Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnr	2022-01-18 04:41:58 +01:00
Cargo.toml	Migrate to 2021	2021-09-20 22:21:42 -04:00