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: Dec 23 2024 at 13:07 UTC