about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree_borrows/formatting.stderr
AgeCommit message (Expand)AuthorLines
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-1/+1
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-25/+25
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-4/+4
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-1/+1
2023-06-03Select more TB fail testsNeven Villani-0/+31