{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"debug!(\"Universal"}]}
        debug!("Universal regions tainted by errors; removing constraints!");
    if let Some(guar) = universal_regions.tainted_by_errors() {
        // Suppress unhelpful extra errors in `infer_opaque_types` by clearing out all