rust/compiler/rustc_trait_selection/src
Jubilee aa189460b8
Rollup merge of #132971 - BoxyUwU:handle_infers_in_anon_consts, r=compiler-errors
Handle infer vars in anon consts on stable

Fixes #132955

Diagnostics will sometimes try to replace generic parameters with inference variables in failing goals. This means that if we have some failing goal with an array repeat expr count anon const in it, we will wind up with some `ty::ConstKind::Unevaluated(anon_const_def, [?x])` during diagnostics which will then ICE if we do not handle inference variables correctly on stable when normalizing type system consts.

r? ```@compiler-errors```
2024-11-13 22:43:37 -08:00
..
error_reporting Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnr 2024-11-08 20:46:12 -08:00
errors ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
solve Consolidate type system const evaluation under traits::evaluate_const 2024-11-12 02:54:03 +00:00
traits Handle infer vars in anon consts on stable 2024-11-12 21:36:42 +00:00
errors.rs Make precise capturing suggestion machine-applicable only if it has not APITs 2024-11-12 04:08:34 +00:00
infer.rs Explain how to evaluate an obligation 2024-11-05 01:08:20 +01:00
lib.rs Stabilize the map/value methods on ControlFlow 2024-09-25 19:00:17 -07:00
regions.rs Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
solve.rs impossible obligations check fast path 2024-10-10 06:09:50 -04:00