rust/compiler/rustc_next_trait_solver/src/solve
Chris Denton bf37847434
Rollup merge of #140402 - lcnr:normalizes-to-certainty-yes, r=compiler-errors
only return nested goals for `Certainty::Yes`

Ambiguous `NormalizesTo` goals can otherwise repeatedly add the same nested goals to the parent.

r? ```@compiler-errors```
2025-04-28 23:29:19 +00:00
..
assembly Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez 2025-04-28 17:22:11 +00:00
eval_ctxt review 2025-04-28 16:49:30 +00:00
inspect norm nested aliases before evaluating the parent goal 2025-04-24 18:41:43 +00:00
normalizes_to Rollup merge of #140402 - lcnr:normalizes-to-certainty-yes, r=compiler-errors 2025-04-28 23:29:19 +00:00
alias_relate.rs norm nested aliases before evaluating the parent goal 2025-04-24 18:41:43 +00:00
effect_goals.rs AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added. 2025-04-28 16:23:13 +07:00
mod.rs Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors 2025-04-26 16:12:33 +02:00
project_goals.rs change definitely non-productive cycles to error 2025-03-05 10:06:43 +01:00
search_graph.rs add TypingMode::Borrowck 2025-04-03 11:13:10 +02:00
trait_goals.rs Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez 2025-04-28 17:22:11 +00:00