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