{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// just proceed (which usually means this hook did all the work that the
    /// Returns either the mir to use for the call, or `None` if execution should
    /// called function should usually have done). In the latter case, it is