{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    ///   The code in this module doesn't care, but it can be useful
    /// - `origin`: indicates *why* the type variable was created.
    ///   for improving error messages.