code: def test_incompatible_typecall_args_unification():
      solver = make_solver()
      gtv = relay.GlobalTypeVar("gtv1")
      t1 = relay.IncompleteType()
      t2 = relay.IncompleteType()
  
      tensor1 = relay.TensorType((1, 2, 3), "float32")
      tensor2 = relay.TensorType((2, 3), "float32")
      tensor3 = relay.TensorType((3,), "float32")
  
      tc1 = relay.TypeCall(gtv, [relay.TupleType([t1, t1]), t2])
      tc2 = relay.TypeCall(
          gtv, [relay.TupleType([tensor1, tensor2]), tensor3]
      )
      solver.Unify(tc1, tc2)
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 22 for calling a global function with example usage: test_incompatible_typecall_args_unification() without return types