about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve/eval_ctxt/probe.rs
AgeCommit message (Expand)AuthorLines
2025-08-14ignore head usages of ignored candidateslcnr-1/+17
2025-05-07detect additional uses of opaques after writebacklcnr-19/+20
2025-02-28rework cycle handlinglcnr-1/+1
2025-02-05Pass spans around new solverMichael Goulet-0/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-27/+22
2024-06-18Explicitly import tracing macrosMichael Goulet-0/+1
2024-06-18Uplift the new trait solverMichael Goulet-0/+123