Kani may miss invalid accesses in std #3079
Description
The fix to #3061 only applies to code outside of std. We need to extend the fix to std as well, to make sure any invalid accesses in std are captured by Kani.
{{ message }}
The fix to #3061 only applies to code outside of std. We need to extend the fix to std as well, to make sure any invalid accesses in std are captured by Kani.