{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// coerce a `!` type into an unbound type variable `?X`. If they
    /// "Diverging" type variables are variables created when we
    /// never wind up being constrained, the "right and natural" thing