{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// is coerced *into* some variable `?V` that would otherwise
    /// "non-diverging" type variable (like `?M` in our example above)
    /// fallback to `!`. In that case, we make `?V` fallback to `!`,