{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// However, we also need `caller_abi` to determine if we need to do untupling of arguments.
    /// `with_caller_location` indicates whether the caller passed a caller location. Miri