{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// variable. `?V` can be any type variable (diverging or not), so
    /// `?NonDiverging` represents some non-diverging type
    /// long as it is not equal to `?NonDiverging`.