I guess the conclusion, for now, is to keep things as it is and use explicit casting
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2659#issuecomment-474676465
