about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/inspect
AgeCommit message (Expand)AuthorLines
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-3/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-287/+112
2025-08-09some `derive_more` refactorsDeadbeef-4/+12
2025-06-23inspect: merge `[Canonical]GoalEvaluation`lcnr-70/+18
2025-04-24norm nested aliases before evaluating the parent goallcnr-14/+0
2025-03-05change definitely non-productive cycles to errorlcnr-1/+1
2024-10-22remove unused fieldlcnr-10/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_next_trait_solver`.Nicholas Nethercote-21/+28
2024-08-12do not use the global solver cache for proof treeslcnr-92/+14
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-14/+8
2024-07-12enable fuzzing of `SearchGraph`lcnr-19/+50
2024-06-25Rename tcx to cxMichael Goulet-2/+2
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-0/+1
2024-06-21Rename a bunch of thingsMichael Goulet-29/+26
2024-06-18Fix impl for SolverDelegateMichael Goulet-0/+2
2024-06-18Uplift the new trait solverMichael Goulet-0/+579
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 08:02:39 +0000