summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2023-07-04move logic for flags into separate functionBoxy-30/+35
2023-07-04change flag nameBoxy-1/+1
2023-07-04reviewsBoxy-3/+1
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-0/+2
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-45/+121
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-153/+174
2023-07-03Implement selection in new trait solverMichael Goulet-20/+346
2023-07-03rebaselcnr-2/+2
2023-07-03reviewlcnr-14/+12
2023-07-03add deep normalization via the new solverlcnr-0/+224
2023-07-03add instrument to `register_predicate_obligation`lcnr-0/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-3/+11
2023-06-30assemble_candidates_after_normalizing_self_ty docslcnr-4/+13
2023-06-29change snapshot tracking in fulfillment contextslcnr-3/+11
2023-06-26TypeWellFormedInEnvMichael Goulet-3/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-21/+11
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-7/+9
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-14/+14
2023-06-20Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwUbors-287/+298
2023-06-20inspect nitslcnr-147/+158
2023-06-20cleanup importslcnr-13/+8
2023-06-20split probe into 2 functions for better readabilitylcnr-127/+132
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-1/+5
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-1/+5
2023-06-19Fully fledged Clause typeMichael Goulet-6/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-14/+14
2023-06-19Don't consider TAIT normalizable to hidden ty if it would result in impossibl...Michael Goulet-8/+29
2023-06-19create module so that RUSTC_LOG can filter to just proof treesBoxy-1/+9
2023-06-19allow caller to force proof tree generationBoxy-72/+89
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-16/+43
2023-06-19introduce a separate set of types for finalized proof treesBoxy-160/+296
2023-06-19dont use a traitBoxy-139/+116
2023-06-19say what kind of cache hitBoxy-8/+14
2023-06-19add -Z flagBoxy-3/+11
2023-06-19initial info dumpBoxy-406/+763
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+1
2023-06-17Move WF goal to clauseMichael Goulet-2/+1
2023-06-17Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errorsbors-3/+25
2023-06-16Rollup merge of #112665 - compiler-errors:assumption-takes-clause, r=lcnrMichael Goulet-26/+32
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-3/+25
2023-06-16Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol...Dylan DPC-3/+23
2023-06-15Make assumption functions in new solver take clauseMichael Goulet-26/+32
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-5/+3
2023-06-13opportunistically resolve regionsMichael Goulet-3/+23
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-5/+3
2023-06-12update commentlcnr-1/+1
2023-06-11Auto merge of #112466 - lcnr:opaque-type-cleanup, r=compiler-errorsbors-35/+46
2023-06-09split opaque type handling in new solverlcnr-35/+46
2023-06-08deduplicate identical region constraintsMichael Goulet-1/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 00:51:39 +0000