{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"arg_hir_id:"}]}
                            arg_hir_id: receiver.hir_id,
                        ObligationCauseCode::FunctionArg {
                            call_hir_id: expr.hir_id,