about summary refs log tree commit diff
path: root/tests/ui/wf/wf-normalization-sized.rs
AgeCommit message (Expand)AuthorLines
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-2/+0
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-4/+4
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-4/+4
2024-03-10Mark some next-solver-behavior tests explicitly with revisionsMichael Goulet-2/+9
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-2/+2
2023-04-22add known-bug test for unsound issue 100041whtahy-0/+19
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 22:51:51 +0000