{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"ObligationCauseCode::FunctionArg"}]}
                        ObligationCauseCode::FunctionArg {
                    error.obligation.cause.map_code(|parent_code| {
                            arg_hir_id: receiver.hir_id,