{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"if"}]}
            if let TyKind::OpaqueType(opaque_ty_id, _) = ty.kind(Interner) {
        fn visit_ty(&mut self, ty: &Ty, outer_binder: DebruijnIndex) -> ControlFlow<Self::BreakTy> {
                self.0.insert(*opaque_ty_id);