The syntax of block bindings looks good to me! Specially it makes it really clear to the readers that there is a "block binding" to avoid future surprise.
BTW, do we have a reference for the behavior of auto-completion on T.read/write? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/41#issuecomment-936887553
