tqchen edited a comment on pull request #8463: URL: https://github.com/apache/tvm/pull/8463#issuecomment-880637785
To clarify, we are moving toward a world where the type annotation in the lhs is always available. The main thing we want to decide is whether to remove the additional info from the rhs. Note that if it is the other way around (keep info in the rhs and remove lhs info) it will be less controversial. But in this case we want the info in the lhs so it is available in the future reference pt. This asymmetry arises because we normally assume the information flows from rhs to lhs in the TIR. It can be a bit weird to infer the allocation type from the pointer type of that holds the allocation, even though they should be made consistent. I just want us to think carefully and make such choice consistent -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
