{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    ///   sometimes "unify" such variables with the `!` or `()` types.
    ///   variable is diverging, but the main Rust type-checker will
    /// - `origin`: indicates *why* the type variable was created.