{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":".map(|vid|"}]}
            .map(|vid| self.root_var(vid))
            .filter_map(|ty| ty.ty_vid())
            .collect();