code: def test_constructor_type():
      mod = tvm.IRModule()
      box, constructor = initialize_box_adt(mod)
  
      a = relay.TypeVar("a")
      x = relay.Var("x", a)
      func = relay.Function([x], constructor(x), box(a), [a])
      mod["main"] = func
      mod = infer_mod(mod)
      func_ty = mod["main"].checked_type
      box = mod.get_global_type_var("box")
      expected = relay.FuncType([a], box(a), [a])
      assert func_ty == expected
  
imports: import pytest
  import tvm
  from tvm import IRModule, parser, relay, te
  from tvm.relay import analysis, op, transform
  from tvm.relay.op import op
  import numpy
label_desc: Use image node_id 21 for calling a global function with example usage: test_constructor_type() without return types