Auto merge of #130628 - workingjubilee:clean-up-result-ffi-guarantees, r=RalfJung

Finish stabilization of `result_ffi_guarantees`

The internal linting has been changed, so all that is left is making sure we stabilize what we want to stabilize.

Author: bors