{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":".map_err(|reported|"}]}
            .map_err(|reported| GenericArgCountMismatch { reported, invalid_args }),
            .and(args_correct)
    }