code: def test_match_buffer_shape_mismatch():
      def buffer_shape_mismatch(a: T.handle) -> None:
          A = T.match_buffer(a, (8, 8))
          for i, j in T.grid(8, 2):
              with T.block():
                  T.reads([])
                  T.writes([A[i, j * 4 : j * 4 + 4]])
                  sub_A = T.match_buffer(
                      A[i, j * 4 : j * 4 + 4], (5)
                  )  # error: shape mismatched between 4 and 5
                  for jj in range(0, 4):
                      sub_A[i, j * 4 + jj] = 1
  
      check_error(buffer_shape_mismatch, 7)
  
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 24 for calling a global function with example usage: test_match_buffer_shape_mismatch() without return types