Skip to content

feat(#92): widths need not agree for ==, and match arms join on width - #95

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/width-widening-92
Jul 29, 2026
Merged

feat(#92): widths need not agree for ==, and match arms join on width#95
hyperpolymath merged 1 commit into
mainfrom
feat/width-widening-92

feat(#92): widths need not agree for `==`, and match arms join on width

e4be440
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar