There is another way types can go awry in the dataflow matcher. When things get mutated they lose their type info until the rewrite is completed. We might want to start treating that behaviour as a bug because it's caught me out before. Maybe @mbrookhart can comment?
--- [Visit Topic](https://discuss.tvm.ai/t/same-shape-pattern/7012/7) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/d282bd80200751cb123bcd971ad1ee8737c0e72b494659286f671482d90ad8ed).
