Don't remove parentheses in (expr :: assertion) < expr
#231
| Job | Run time |
|---|---|
| 11s | |
| 9s | |
| 30s | |
| 50s |
(expr :: assertion) < expr
#231
| Job | Run time |
|---|---|
| 11s | |
| 9s | |
| 30s | |
| 50s |