{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                            && self.delegate.root_ty_var(vid) == self.delegate.root_ty_var(term_vid)
                            return ControlFlow::Break(());