summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
AgeCommit message (Expand)AuthorLines
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-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-25 08:14:55 +0000