fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set #37444
| Job | Run time |
|---|---|
| 8s | |
| 5m 20s | |
| 1m 1s | |
| 56s | |
| 11m 40s | |
| 56s | |
| 1m 8s | |
| 13s | |
| -1s | |
| -1s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| 19s | |
| 21m 36s |
| Job | Run time |
|---|---|
| 8s | |
| 5m 20s | |
| 1m 1s | |
| 56s | |
| 11m 40s | |
| 56s | |
| 1m 8s | |
| 13s | |
| -1s | |
| -1s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| 19s | |
| 21m 36s |