{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// function goes through all type variables and make sure their root is
    /// diverging and we have no way of marking it as such at that time. This
    /// marked as diverging if necessary, so that resolving them gives the right