PatternMatchingInstanceof: handle inverted ifs.
#7223
| Job | Run time |
|---|---|
| 5m 7s | |
| 5m 4s | |
| 4m 14s | |
| 9m 46s | |
| 4m 39s | |
| 4m 42s | |
| 1m 20s | |
| 1m 28s | |
| 36m 20s |
ifs.
#7223
| Job | Run time |
|---|---|
| 5m 7s | |
| 5m 4s | |
| 4m 14s | |
| 9m 46s | |
| 4m 39s | |
| 4m 42s | |
| 1m 20s | |
| 1m 28s | |
| 36m 20s |