code: def test_jit_symbolic_shape_mismatch(self):
      @TinyJit
      def add(a, b):
          return (a + b).realize()
  
      for i in range(1, 5):
          vi = Variable("i", 1, 10).bind(i)
          a = Tensor.rand(3, i).reshape(3, vi)
          b = Tensor.rand(3, i).reshape(3, vi)
          add(a, b)
      vi2 = Variable("i", 1, 10).bind(7)
      a = Tensor.rand(3, 7).reshape(3, vi2)
      bad = Tensor.rand(4, 7).reshape(4, vi2)
      with self.assertRaises(AssertionError):
          add(a, bad)
  
imports: import unittest
  from test.helpers import assert_jit_cache_len
  from tinygrad.jit import TinyJit
  from tinygrad.helpers import getenv
  from tinygrad.shape.symbolic import Variable
  from tinygrad.tensor import Tensor
  import numpy
label_desc: Use image node_id 12 for calling the TestSymbolicJit obj's underlying member method code with example usage: obj.test_jit_symbolic_shape_mismatch() and returns: unknown