instanceof narrowing no longer widens specific types.
#219
| Job | Run time |
|---|---|
| 10s | |
| 1m 35s | |
| 26s | |
| 17s | |
| 5m 3s | |
| 36s | |
| -1s | |
| 8m 6s |
instanceof narrowing no longer widens specific types.
#219
| Job | Run time |
|---|---|
| 10s | |
| 1m 35s | |
| 26s | |
| 17s | |
| 5m 3s | |
| 36s | |
| -1s | |
| 8m 6s |