@junrushao1994 there are PR to add mutual recursion into relay. In general, the only reason a relay program cant typecheck is because it is wrong, thus we want to catch this as early as possible. For case 1/2, it is still possible to call the type inference function yourself. What is your use case?
--- [Visit Topic](https://discuss.tvm.ai/t/discussion-adding-a-function-to-relay-module-automatically-triggers-infertype/3643/6) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/ee2832b433205d0e7075b1d2c7ab270595756cce8c012ad1a4ba4ad21d6f59f1). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=tT32SApNpJQ5Yuanm0_reQ2
