{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// "Diverging" type variables are variables created when we
    ///
    /// coerce a `!` type into an unbound type variable `?X`. If they