{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// diverging and we have no way of marking it as such at that time. This
    /// type variables of which one is diverging, the chosen root might not be
    /// function goes through all type variables and make sure their root is