{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"if"}]}
                if TermVid::Ty(vid) == self.root_vid {
                let vid = inner.type_variables().root_var(vid);
                    // If sub-roots are equal, then `root_vid` and