{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    /// The `locals` have already been destroyed!
    /// Called immediately after a stack frame got popped, but before jumping back to the caller.
    #[inline(always)]