about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/match_binder_checks_validity2.rs
AgeCommit message (Expand)AuthorLines
2023-10-28add some tests specifically for validity checks arising from match bindersRalf Jung-0/+14