On a completly separate note: is there any reason to keep
#[naked] (insofar that it is a nightly feature)? I discovered today when trying to write some intrinsics in C (don't ask) that naked functions can't be inlined (which comes as a surprise to no one).
Before I was kind of ambivalent towards naked functions, but now I worry that this behavior is a bit subtle (I didn't realize it until I godbolt'd some things), and I still don't see what naked functions get you that you can't already express.
(This comment might be out-of-scope but I think naked functions are enough of a companion feature to inline assembly that it's worth mentioning).