code: def test_no_body():
      def no_body(a: T.handle) -> None:
          A = T.match_buffer(a, (16, 16), "float32")
          T.realize(A, "")  # error
  
      check_error(no_body, 3)
  
imports: import inspect
  import re
  import pytest
  import tvm
  import tvm.testing
  from tvm import tir
  from tvm.ir.diagnostics import override_renderer
  from tvm.script import from_source
  from tvm.script import tir
label_desc: Use image node_id 9 for calling a global function with example usage: test_no_body() without return types