{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// that might instantiate a general type variable have an order,
    /// We instantiate `UnificationTable` with `bounds<Ty>` because the types
    /// represented by its upper and lower bounds.