{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    ///   variable is diverging, but the main Rust type-checker will
    ///   expression. The code in this module doesn't care if a
    ///   sometimes "unify" such variables with the `!` or `()` types.