Fix irrefutability checking in for with untupling (#23273)
#26499
| Job | Run time |
|---|---|
| 18m 16s | |
| 0s | |
| 18m 16s |
for with untupling (#23273)
#26499
| Job | Run time |
|---|---|
| 18m 16s | |
| 0s | |
| 18m 16s |