code: def test_mmul():
      W = jnp.array([[1, 2], [3, 4]])
      b = jnp.array([9, 10, 11])
  
      msg = ""
      try:
          with tsensor.clarify():
              y = W @ b
      except TypeError as e:
          msg = e.args[0]
  
      expected = (
          "dot_general requires contracting dimensions to have the same shape, got [2] and [3].\n"
          + "Cause: @ on tensor operand W w/shape (2, 2) and operand b w/shape (3,)"
      )
      assert msg == expected
  
imports: import jax.numpy
  import numpy
  import tsensor
label_desc: Use image node_id 3 for calling a global function with example usage: test_mmul() without return types