More precise MixedType::toBoolean() with subtracted type
#4767
| Job | Run time |
|---|---|
| 1m 40s | |
| 1m 59s | |
| 1m 37s | |
| 1m 45s | |
| 1m 40s | |
| 1m 23s | |
| 1m 35s | |
| 1m 58s | |
| 13m 37s |
MixedType::toBoolean() with subtracted type
#4767
| Job | Run time |
|---|---|
| 1m 40s | |
| 1m 59s | |
| 1m 37s | |
| 1m 45s | |
| 1m 40s | |
| 1m 23s | |
| 1m 35s | |
| 1m 58s | |
| 13m 37s |