{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// We instantiate `UnificationTable` with `bounds<Ty>` because the types
    /// that might instantiate a general type variable have an order,