{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":".map_err(|error|"}]}
            .map_err(|error| report_validation_error(&ecx, cid, error, alloc_id))?;
            // error about the validation failure.
        inner = true;