about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/coherence
AgeCommit message (Expand)AuthorLines
2025-06-27tests: add #![rustc_no_implicit_bounds]David Wood-9/+11
2025-06-02Fast path for stalled obligations on self tyMichael Goulet-5/+2
2025-03-05change definitely non-productive cycles to errorlcnr-13/+11
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-11/+1
2025-01-27Remove all dead files inside tests/ui/León Orell Valerian Liehr-16/+0
2025-01-17add testlcnr-0/+70
2024-10-15stabilize `-Znext-solver=coherence`lcnr-8/+18
2024-09-27Cleanup some known-bug issuesJack Huey-3/+8
2024-05-16Don't ICE because recomputing overflow goals during find_best_leaf_obligation...Michael Goulet-3/+3
2024-05-09analyse visitor: build proof tree in probelcnr-0/+73
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-1/+1
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-3/+3
2024-03-18move testslcnr-0/+81
2024-03-18`NormalizesTo` return nested goalslcnr-4/+0
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-12/+12
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-0/+3
2024-02-26update testslcnr-4/+4
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-8/+8
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-3/+22
2023-12-14consistently use "next solver" instead of "new solver"lcnr-0/+163
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 09:00:34 +0000