about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/disjoint-array-accesses.rs
AgeCommit message (Expand)AuthorLines
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-0/+35
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 05:00:37 +0000