{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"if"}]}
            if hidden_type.has_non_region_infer() {
            trace!("finalized opaque type {:?} to {:#?}", opaque_type_key, hidden_type.ty.kind());
                span_bug!(hidden_type.span, "could not resolve {:?}", hidden_type.ty);