wrongtest commented on PR #11234: URL: https://github.com/apache/tvm/pull/11234#issuecomment-1120111692
> Reading the cryptic error message, it seems that the `IntervalSet` sometimes is used to represent `handle` vs `int`, so it cans `CanProveEqual` - a bit weird to me, but definitely fixable with more guards In `IntervalSet`, positive and negative infinity are two special values with type `handle`, and `intset.min()` and `intset.max()` should check whether be infinity, can not directly assume they are of integer type. -- 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: commits-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org