about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-23/+7
2023-02-17add predicate evaluation logicBoxy-3/+13
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+3
2023-02-15don't clone types that are copyMatthias Krüger-1/+1
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-2/+8
2023-02-14Reduce visibility of some itemsSantiago Pastorino-1/+1
2023-02-14Check for overflow in evaluate_canonical_goalSantiago Pastorino-17/+6
2023-02-14add test for coinduction in new solverlcnr-2/+8
2023-02-13Implement repeat_while_none for both SearchGraph and EvalCtxtSantiago Pastorino-0/+1
2023-02-13Make Ok value of repeat_while_none more generalSantiago Pastorino-24/+27
2023-02-10implement `compute_alias_eq_goal`Boxy-3/+113
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2023-02-03intern external constraintsMichael Goulet-19/+16
2023-01-31Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez-5/+29
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-1/+1
2023-01-28Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors-26/+3
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-28Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnrMatthias Krüger-21/+23
2023-01-27Add some commentsMichael Goulet-0/+6
2023-01-27No need to probe when computing goalsMichael Goulet-21/+17
2023-01-27assert that solver results are stablelcnr-5/+29
2023-01-26Make make_identity take CanonicalVarInfosMichael Goulet-21/+2
2023-01-26Intern CanonicalVarValuesMichael Goulet-22/+18
2023-01-26solver comments + remove `TyCtxt::evaluate_goal`lcnr-11/+9
2023-01-25Don't normalize obligations in WF goal for the new solverMichael Goulet-5/+1
2023-01-25Implement ObjectSafe and WF in the new solverMichael Goulet-4/+37
2023-01-23`new_outside_solver` -> `evaluate_root_goal`lcnr-12/+30
2023-01-21Address goal nitsMichael Goulet-27/+46
2023-01-21Implement some more predicatesMichael Goulet-7/+57
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-0/+7
2023-01-18remove assembly context and impl a bit morelcnr-4/+17
2023-01-18instantiate canonical vars eagerlylcnr-84/+128
2023-01-17new trait solver: only consider goal changed if response is not identityMichael Goulet-1/+1
2023-01-12HACK: Handle escaping bound vars from the canonical queryMichael Goulet-1/+1
2023-01-12Implement dummy query responses and a jank instantiateMichael Goulet-14/+41
2022-12-20dedup assemblylcnr-0/+1
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+308
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 19:42:54 +0000