Ensure type inference checks rhsSort <: lhsSort for macro rules#3666
Merged
rv-jenkins merged 6 commits intodevelopfrom macro-rule-no-wideningSep 27, 2023
+19-1
Commits
Commits on Sep 26, 2023
- committed
- committed
- committed
- authored
- committed
- committed
