about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2025-09-29cleanup `try_evaluate_added_goals`lcnr-14/+5
2025-09-26allow method calls on opaqueslcnr-1/+2
2025-09-26predefined opaques use `List`lcnr-4/+3
2025-09-18canonical: yeet `EvalCtxt`, mk `Canonicalizer` privatelcnr-9/+9
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-521/+198
2025-09-18support calls on opaque types :<lcnr-39/+62
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-0/+31
2025-09-11consider the `sub_unification_table` in `stalled_on`lcnr-18/+31
2025-09-08Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwUbors-33/+41
2025-09-08Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnrMatthias Krüger-1/+1
2025-09-08reviewlcnr-2/+2
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-10/+5
2025-09-08pass `sub_relations` into canonical querieslcnr-31/+40
2025-09-08eagerly compute `sub_relations` againlcnr-0/+4
2025-09-04Don't require next-solver `ProbeRef` to be `Copy`Chayim Refael Friedman-2/+2
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-84/+114
2025-08-25support non-defining uses in HIR typecklcnr-24/+1
2025-08-22change HIR typeck unification handling approachlcnr-6/+1
2025-08-14ignore head usages of ignored candidateslcnr-2/+22
2025-07-29resuse eagerly resolved goal from previous iterationlcnr-12/+28
2025-07-25uniquify root goals during HIR typecklcnr-1/+6
2025-07-15Add the core logic in old and new solverstiif-0/+12
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-27Use let chains in the new solverMichael Goulet-33/+26
2025-06-26Auto merge of #142774 - lcnr:search_graph-2, r=oli-obkbors-64/+10
2025-06-23Simplify API of solver a bitMichael Goulet-25/+22
2025-06-23inspect: merge `[Canonical]GoalEvaluation`lcnr-12/+6
2025-06-23`evaluate_goal`: avoid unnecessary steplcnr-59/+11
2025-06-18`evaluate_goal`: accept different inputslcnr-1/+1
2025-06-13Replace escaping bound vars in ty/ct visiting, not binder visitingMichael Goulet-0/+9
2025-06-06Filter out universals and lifetimes from stalled_varsMichael Goulet-1/+12
2025-05-29Tweak fast path trait handlingMichael Goulet-4/+7
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-6/+21
2025-05-27Fix some var namesMichael Goulet-2/+2
2025-05-26Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxubors-1/+1
2025-05-26add additional `TypeFlags` fast pathslcnr-6/+21
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-31/+113
2025-05-26RenameMichael Goulet-1/+1
2025-05-23yeet `CanonicalVarInfo`lcnr-7/+8
2025-05-18Fast path for processing some obligations in the new solverMichael Goulet-4/+15
2025-05-08Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnrMatthias Krüger-4/+7
2025-05-08Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errorsMatthias Krüger-54/+44
2025-05-07detect additional uses of opaques after writebacklcnr-54/+44
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-4/+7
2025-05-07ReviewMichael Goulet-6/+6
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-0/+8
2025-05-06support duplicates in the opaque_types_storagelcnr-25/+55
2025-04-28reviewlcnr-19/+29
2025-04-28only return nested goals for `Certainty::Yes`lcnr-7/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 08:46:31 +0000