about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/specialization-transmute.rs
AgeCommit message (Expand)AuthorLines
2025-04-25handle specialization in the new trait solverlcnr-5/+3
2025-02-05Pass spans around new solverMichael Goulet-1/+1
2024-05-30Fold item bound before checking that they holdMichael Goulet-1/+1
2024-04-22Stabilize generic `NonZero`.Markus Reiter-1/+0
2024-02-25Use generic `NonZero` in tests.Markus Reiter-3/+4
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-1/+1
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-2/+2
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-1/+1
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-1/+1
2024-01-31Remove a has_errors check that doesn't actually prevent noisy follow up errorsOli Scherer-0/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-3/+3
2023-12-14consistently use "next solver" instead of "new solver"lcnr-0/+28