[relay] "Type inference for this Expr has not completed" during simplify inference


#1

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