[TVMScript] Distinguish between void* and handle#14488

Lunderberg merged 2 commits intoapache:mainapache/tvm:mainfrom

Lunderberg:tvmscript_handle_vs_voidptrLunderberg/tvm:tvmscript_handle_vs_voidptrCopy head branch name to clipboard