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: Feb 24 2026 at 05:28 UTC