{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"arg_span(idx),"}]}
            arg_span(idx),
        wfcx.register_wf_obligation(
            Some(WellFormedLoc::Param { function: def_id, param_idx: idx }),