Can we merge https://github.com/rust-lang/unsafe-code-guidelines/pull/159 ?
And maybe https://github.com/rust-lang/unsafe-code-guidelines/pull/164 as well ?
that unlocks progress with #153
cc @rkruppe thoughts on those two PRs ?
https://github.com/rust-lang/unsafe-code-guidelines/pull/195 also requires more reviews
https://github.com/rust-lang/unsafe-code-guidelines/pull/190 feels ready to merge as well
Oh yeah, I didn't respond but Ralf's last comment sounded sensible to me.
So i'm going to merge all the things.