[CI Problem] lint check has a bug

[vacu9708]

Thanks for participating in the TVM community! We use https://discuss.tvm.ai for any general usage questions and discussions. The issue tracker is used for actionable items such as feature proposals discussion, roadmaps, and bug tracking. You are always welcomed to post on the forum first 😸

Issues that are inactive for a period of time may get closed. We adopt this policy so that we won't lose track of actionable issues that may fall at the bottom of the pile. Feel free to reopen a new one if you feel there is an additional problem that needs attention when an old one gets closed.

Bug

• The lint check seems to have a bug. It flags the following as correct:

PrimExpr out_range = Or(x<lower, x> upper);

However, the correct forms would be either:

PrimExpr out_range = Or(x < lower, x > upper);

or

PrimExpr out_range = Or(x<lower, x>upper);

Branch/PR Failing

#17985

Jenkins Link

Provide a link to the specific run that has failed.
-> lint check

Flakiness

Have you seen this multiple times in this branch or in other branches?
-> no

Triage

Please refer to the list of label tags here to find the relevant tags and add them below in a bullet format (example below).

• needs-triage