3 ms·

I'm aware. When I say "audit a line of unsafe" that includes all the invariants that it relies on, which could be outside the block. This is still not that har

I'm aware. When I say "audit a line of unsafe" that includes all the invariants that it relies on, which could be outside the block. This is still not that hard.