{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// for displaying on the terminal. This path comes from the `Diag` itself. When rendering
    /// It takes a `path` where "long values" could be written to, if the `DiagArgValue` is too big
    /// values that come from `TyCtxt`, like `Ty<'_>`, they can use `TyCtxt::short_string`. If a