Closed toyboot4e closed 2 years ago
This change suppresses miri warnings when the raw pointer tracking feature is off.
Is this simple change proper "fix"? I'm really not sure
28
This change suppresses miri warnings when the raw pointer tracking feature is off.
Is this simple change proper "fix"? I'm really not sure