code: def test_unify_quantified_func_and_concrete():
      solver = make_solver()
      a, b = relay.TypeVar("a"), relay.TypeVar("b")
      ft1 = relay.FuncType([a], b, [a, b])
      ft2 = relay.FuncType([b], relay.TupleType([]), [b])
      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 15 for calling a global function with example usage: test_unify_quantified_func_and_concrete() without return types