[Relay] Enhance type infer for dynamic shape

[shengxinhu]

Support type_infer to enable unify PrimExpr such as tir.IndexMod(relay.Any(), 5), instead of previous only relay.Any

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• cc @shingjan _{See #10317 for details}

_{Generated by tvm-bot}

[jikechao]

@shengxinhu I cannot run the test case added in this PR well. The crash message was shown in this issue. Could you take a look?

[shengxinhu]

tvm-bot ***@***.***>于2023年4月12日 周三17:01写道：

…

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers <https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers> by @-ing them in a comment. - cc @shingjan <https://github.com/shingjan> See #10317 <#10317> for details Generated by tvm-bot <https://github.com/apache/tvm/blob/main/ci/README.md#github-actions> — Reply to this email directly, view it on GitHub <#14601 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AQPNRES5SFCZLL3P4XEFNVDXAZVO5ANCNFSM6AAAAAAW3MFEOY> . You are receiving this because you authored the thread.Message ID: ***@***.***>