about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/method
AgeCommit message (Collapse)AuthorLines
2025-08-14Revert "Use DeepRejectCtxt in assemble_inherent_candidates_from_param"Michael Goulet-46/+0
This reverts commit ad59f0b6e6e5c45ea64064758a88e8521259bfcf.
2025-05-21Use DeepRejectCtxt in assemble_inherent_candidates_from_paramMichael Goulet-0/+46
2025-02-14eagerly prove WF when resolving fully qualified pathslcnr-0/+39
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 01:56:10 +0000