{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
            // error about the validation failure.
            // Instead of just reporting the `InterpError` via the usual machinery, we give a more targeted
            .map_err(|error| report_validation_error(&ecx, cid, error, alloc_id))?;