You’re right, that actually does work!
I was pleasantly surprised that my Notex type (it has a mutex-like API, but no thread safety) had no memory overhead. (current state of the IDT code for reference).
Well, there goes one use case for static mut, assuming the compiler stays sufficiently smart.