{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// Creates a `Diverges::Always` with the provided `span` and the default note message.
impl Diverges {
    pub(super) fn always(span: Span) -> Diverges {