Infer non-narrowing predicates when the contextual signature is a type predicate #32777
| Job | Run time |
|---|---|
| 14m 14s | |
| 35s | |
| 13m 1s | |
| 59s | |
| 13m 41s | |
| 13m 58s | |
| 1m 19s | |
| 23s | |
| 28s | |
| 1m 31s | |
| 58s | |
| 51s | |
| 43s | |
| 14m 31s | |
| 14m 19s | |
| 15m 44s | |
| 15m 10s | |
| 16m 2s | |
| 17m 6s | |
| 17m 5s | |
| 17m 9s | |
| 11m 14s | |
| 11m 29s | |
| 13m 17s | |
| 11m 40s | |
| 16m 50s | |
| 4h 14m 17s |