about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/cycles
AgeCommit message (Expand)AuthorLines
2025-09-26fix cycle head usages trackinglcnr-0/+55
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-5/+30
2025-08-14add regression testlcnr-0/+43
2025-07-31add testslcnr-0/+81
2025-07-20Consider param-env for fast pathMichael Goulet-7/+0
2025-06-27tests: add #![rustc_no_implicit_bounds]David Wood-47/+52
2025-06-16tests: bless remaining testsDavid Wood-0/+7
2025-04-16stepping into impls for norm is unproductivelcnr-0/+188
2025-04-14drop global where-bounds before merging candidateslcnr-4/+25
2025-03-05keep inductive cycles as ambig in coherencelcnr-0/+32
2025-03-05change definitely non-productive cycles to errorlcnr-0/+21
2025-02-28add test using only trait boundslcnr-0/+48
2025-02-28reviewlcnr-2/+10
2025-02-28add test for newly supported behaviorlcnr-0/+43
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-0/+111
2025-02-28remove useless testslcnr-238/+0
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-2/+2
2024-09-20update testslcnr-0/+1
2024-05-28eagerly normalize when adding goalslcnr-0/+104
2024-05-20track cycle participants per entrylcnr-3/+31
2024-05-16Don't ICE because recomputing overflow goals during find_best_leaf_obligation...Michael Goulet-158/+10
2024-05-09analyse visitor: build proof tree in probelcnr-9/+6
2024-05-04Only consider ambiguous goals when finding best obligation for ambiguitiesMichael Goulet-11/+13
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-61/+70
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-11/+161
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-8/+0
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-19/+19
2024-02-09hide impls if trait bound is proven from envlcnr-1/+13
2024-01-09add comments and testslcnr-0/+173
2023-12-14consistently use "next solver" instead of "new solver"lcnr-0/+599
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 00:26:58 +0000