slyubomirsky opened a new issue #10265: URL: https://github.com/apache/tvm/issues/10265
The default behavior of the Relay type mutator when it encounters Global Type Variables is to [create a new Global Type Var](https://github.com/apache/tvm/blob/9f7f4c6d1fcc88fb1649a295e75577eaae50bbed/python/tvm/relay/type_functor.py#L185-L186) instead of passing along the existing one. This can lead to type checking errors, as the type checker relies on pointer equality for global type vars (the type solver unifies them by checking for structural equality, and the structural equality check looks at pointer equality). Proposed fix: Have the default return the global type var unmodified. Alternatively, we shouldn't use pointer equality for global type vars. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
