code: def test_binop_bad_type():
      def binop_bad_type(h: T.handle):
          h_ = T.match_buffer(h, [1])
          h_[0] = h + 2  # error lhs and rhs should be the same type
  
      check_error(binop_bad_type, 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 39 for calling a global function with example usage: test_binop_bad_type() without return types