feat(#92): widths need not agree for ==, and match arms join on width
#212
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 5s | |
| 7s | |
| 5s | |
| 25s |
==, and match arms join on width
#212
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 5s | |
| 7s | |
| 5s | |
| 25s |