[GitHub] [tvm] junrushao1994 commented on pull request #11234: [TIR] Fix reverse_compute_at for trivial region with trivial block var

junrushao1994 commented on PR #11234: URL: https://github.com/apache/tvm/pull/11234#issuecomment-1120119963 That makes a lot of sense @wrong -- 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 sp

[GitHub] [tvm] junrushao1994 commented on pull request #11234: [TIR] Fix reverse_compute_at for trivial region with trivial block var

junrushao1994 commented on PR #11234: URL: https://github.com/apache/tvm/pull/11234#issuecomment-1120091444 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 fix