code: def impossible_inequality(n: T.int32):
      # Prior to bugfix, this conditional set up a range of possible
      # values for the expression "-2" as [0, kPosInf].
      if -1 < -2:
          if n // (-2) >= 16:
              T.evaluate(0)
  
file_path: tvm/tests/python/tir-transform/test_tir_transform_renormalize_split_pattern.py
imports: import tvm
  import tvm.testing
  from tvm.script import tir
label_desc: Use image node_id 3 for calling a global function with example usage: impossible_inequality(n) without return types