code: def test_unify_functype():
      solver = make_solver()
      t1 = relay.ty.IncompleteType()
      t2 = relay.ty.IncompleteType()
      t3 = relay.ty.IncompleteType()
  
      unit = relay.ty.TupleType([])
      tensor1 = relay.ty.TensorType((10, 20), "float32")
      tensor2 = relay.ty.TensorType((10,), "float32")
  
      ft1 = relay.ty.FuncType([t1, t2], t3)
      ft2 = relay.ty.FuncType([tensor1, tensor2], unit)
  
      unified = solver.Unify(ft1, ft2)
      assert unified == ft2
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 8 for calling a global function with example usage: test_unify_functype() without return types