jameysharp commented on issue #6018:
I didn't expect this to be necessary because I think we have ISLE rules in some places to special-case identity extends/reduces. I guess we should audit whether there are rules which are unreachable due to this constraint.
Last updated: Nov 22 2024 at 17:03 UTC