about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/match_binder_checks_validity2.stderr
AgeCommit message (Expand)AuthorLines
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-1/+1
2024-09-16Bump ui testOli Scherer-2/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
2023-10-28add some tests specifically for validity checks arising from match bindersRalf Jung-0/+15