summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/search_graph
AgeCommit message (Expand)AuthorLines
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-0/+18
2023-02-14Reduce visibility of some itemsSantiago Pastorino-8/+8
2023-02-14Check for overflow in evaluate_canonical_goalSantiago Pastorino-7/+40
2023-02-14add test for coinduction in new solverlcnr-0/+18
2023-02-13Implement repeat_while_none for both SearchGraph and EvalCtxtSantiago Pastorino-24/+37
2023-02-13Extract try_move_finished_goal_to_global_cache from try_finalize_goalSantiago Pastorino-23/+34
2023-02-13Make Ok value of repeat_while_none more generalSantiago Pastorino-4/+5
2023-02-08correctly update goals in the cachelcnr-5/+8
2023-02-03intern external constraintsMichael Goulet-2/+1
2023-01-31Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez-1/+5
2023-01-27assert that solver results are stablelcnr-1/+5
2023-01-26Intern CanonicalVarValuesMichael Goulet-0/+1
2023-01-18add note about indirect cycleslcnr-0/+4
2023-01-18update project to emulate a projection cachelcnr-1/+1
2023-01-18remove assembly context and impl a bit morelcnr-0/+10
2023-01-18instantiate canonical vars eagerlylcnr-0/+371