{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// // where absurd is a function with the following signature
    ///
    /// // (it's sound, because `!` always marks unreachable code):