{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
    /// Whether this error is allowed to show up even in otherwise "infallible" promoteds.
    error: ErrorGuaranteed,
    /// This is for things like overflows during size computation or resource exhaustion.