code: def test_inf_loop_case():
      code = """
  #[version = "0.0.5"]
  type Arith[A] {
      Zero,
      Const(A),
      Plus(Arith[A], Arith[A])
  }
  
  def @shallow_opt[A](%a: Arith[A]) -> Arith[A] {
      match (%a) {
          Plus(Zero, %r) => %r,
          Plus(%l, Zero) => %l,
          _ => %a
      }
  }
  """
      tvm.relay.fromtext(code)
  
file_path: tvm/tests/python/relay/test_pass_unmatched_cases.py
imports: import tvm
  from tvm import te
  from tvm import relay
  from tvm.relay.prelude import Prelude
  from tvm.relay.analysis import unmatched_cases
  import pytest
label_desc: Use image node_id 9 for calling a global function with example usage: test_inf_loop_case() without return types