{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// where displaying *some* named universal region is better than
    /// Therefore, this method should only be used in diagnostic code,
    /// falling back to 'static.