rust/compiler/rustc_trait_selection/src/solve
Matthias Krüger 067f6327a5
Rollup merge of #124846 - compiler-errors:const-eval, r=lcnr
Don't ICE when we cannot eval a const to a valtree in the new solver

Use `const_eval_resolve` instead of `try_const_eval_resolve` because naming aside, the former doesn't ICE when a value can't be evaluated to a valtree.

r? lcnr
2024-05-07 18:12:56 +02:00
..
assembly Record more kinds of things as impl where bounds 2024-05-02 21:56:14 -04:00
eval_ctxt Don't ICE when we cannot eval a const to a valtree in the new solver 2024-05-07 11:14:25 -04:00
inspect Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors 2024-05-07 18:12:55 +02:00
normalizes_to Record more kinds of things as impl where bounds 2024-05-02 21:56:14 -04:00
alias_relate.rs normalizes-to change from '1' to '0 to inf' steps 2024-04-04 12:39:58 +02:00
fulfill.rs Don't consider candidates with no failing where clauses 2024-05-06 11:32:50 -04:00
mod.rs Remove extern crate rustc_macros from numerous crates. 2024-04-29 10:21:54 +10:00
normalize.rs Auto merge of #123537 - compiler-errors:shallow, r=lcnr 2024-04-16 21:59:36 +00:00
project_goals.rs track the source of nested goals 2023-12-18 08:47:29 +01:00
search_graph.rs NormalizesTo return nested goals 2024-03-18 15:53:16 +01:00
trait_goals.rs Record impl args in the InsepctCandiate rather than rematching during select 2024-05-06 14:17:22 -04:00