On: Smart pointers for the kernel

[_flux]

You are quite likely correct. My search term included "unsound", and it missed this one.

But this time I've starred and cloned it!

I didn't quite see if this actually exploits multiple bugs or leverages just one, though.

[steveklabnik → _flux]

Just one. It’s a compiler bug and not a soundness hole.