about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
AgeCommit message (Expand)AuthorLines
2023-06-19introduce a separate set of types for finalized proof treesBoxy-18/+16
2023-06-19dont use a traitBoxy-22/+16
2023-06-19add -Z flagBoxy-3/+11
2023-06-19initial info dumpBoxy-53/+122
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-16Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol...Dylan DPC-1/+4
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-5/+3
2023-06-13opportunistically resolve regionsMichael Goulet-1/+4
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-5/+3
2023-06-09split opaque type handling in new solverlcnr-27/+42
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+1
2023-06-02No const equate in new solverMichael Goulet-2/+5
2023-06-02Normalize anon consts in new solverMichael Goulet-0/+17
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-16/+7
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-2/+46
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-8/+63
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-5/+5
2023-04-26Clear response values for overflow in new solverMichael Goulet-6/+13
2023-04-20Result is just bool but specialMichael Goulet-5/+6
2023-04-20Track if EvalCtxt has been tainted, make sure it can't be used to make query ...Michael Goulet-0/+14
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-1/+1
2023-04-10Support safe transmute in new solverMichael Goulet-0/+21
2023-04-10review + some small stufflcnr-2/+2
2023-04-05Tweak debug outputs to make debugging new solver easierMichael Goulet-2/+2
2023-03-30Rollup merge of #109679 - compiler-errors:normalizes-to-hack-2, r=lcnr,BoxyUwUMichael Goulet-33/+69
2023-03-29Freshen normalizes-to hack goal RHS in the evaluate loopMichael Goulet-33/+69
2023-03-29Move canonicalization code aroundMichael Goulet-55/+6
2023-03-24Make EvalCtxt's infcx privateMichael Goulet-4/+108
2023-03-23Return nested obligations from canonical response var unificationMichael Goulet-8/+9
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-3/+24
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-0/+19
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-3/+5
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-2/+2
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-2/+8
2023-03-21new solver cleanup + coherencelcnr-1/+8
2023-03-17move `compute_goal` and `evaluate_x` methods to inner moduleBoxy-1/+269
2023-03-17UNACEPTABLEBoxy-3/+3
2023-03-17add commentsBoxy-0/+5
2023-03-17review nitsBoxy-0/+6
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-6/+54
2023-03-15always make `define_opaque_types` explicitlcnr-2/+2
2023-03-10Unconstrained terms should account for infer vars being equatedMichael Goulet-15/+20
2023-03-03canonicalizationlcnr-1/+10
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+7
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-0/+172
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 05:03:11 +0000