{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"span_bug!("}]}
            span_bug!(
        let hir::TyKind::OpaqueDef(opaque_ty) = hir_ty.kind else {
                hir_ty.span,