{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".diverging_type_vars"}]}
            .diverging_type_vars
        let diverging_roots: UnordSet<ty::TyVid> = self
            .borrow()