rust/compiler/rustc_trait_selection/src
Matthias Krüger 762a661705
Rollup merge of #133493 - lcnr:fulfill-fudge, r=compiler-errors
do not constrain infer vars in `find_best_leaf_obligation`

This ended up causing an ICE by making the following code path reachable by incorrectly constraining an inference variable while computing the best obligation for a preceding ambiguity. Closes #129444.

f2abf827c1/compiler/rustc_trait_selection/src/solve/fulfill.rs (L312-L314)

I have to be honest, I don't fully understand how that change removes all the additional diagnostics :3

r? `@compiler-errors`
2024-11-27 08:13:49 +01:00
..
error_reporting Rollup merge of #133304 - lqd:issue-132920, r=estebank 2024-11-26 20:35:38 -05:00
errors ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
solve do not constrain infer vars in find_best_leaf_obligation 2024-11-26 11:45:01 +01:00
traits Rollup merge of #133471 - lcnr:uwu-gamer, r=BoxyUwU 2024-11-26 20:35:39 -05: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 move fn is_item_raw to TypingEnv 2024-11-19 18:06: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