code: def test_incompatible_typecall_var_unification():
      solver = make_solver()
      gtv1 = relay.GlobalTypeVar("gtv1")
      gtv2 = relay.GlobalTypeVar("gtv2")
  
      t1 = relay.IncompleteType()
      t2 = relay.IncompleteType()
  
      tc1 = relay.TypeCall(gtv1, [t1])
      tc2 = relay.TypeCall(gtv2, [t2])
      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 21 for calling a global function with example usage: test_incompatible_typecall_var_unification() without return types