When I run resnet-50 (relay.testing.resnet) with opt_level=3, it throws an error
/home/wuweilin/tvm/include/tvm/relay/expr.h:423: Check failed: checked_type_.defined() Type inference for this Expr has not completed
in this line https://github.com/dmlc/tvm/blob/292ab02d6a6eac178bd2203838ff4a6b3b1883f1/src/relay/pass/simplify_inference.cc#L35
Seems that the new expr after mutation (https://github.com/dmlc/tvm/blob/292ab02d6a6eac178bd2203838ff4a6b3b1883f1/src/relay/pass/simplify_inference.cc#L50) does not have checked type
cc @ziheng