Backport "Fix infinite loop in Mirror synthesis of unreducible match type" to LTS#21042
Merged
WojciechMazur merged 2 commits intolts-3.3from Jul 5, 2024
Merged
Backport "Fix infinite loop in Mirror synthesis of unreducible match type" to LTS#21042WojciechMazur merged 2 commits intolts-3.3from
WojciechMazur merged 2 commits intolts-3.3from
Commits
Commits on Jul 5, 2024
- authored andcommitted
- authored andcommitted
