Fix irrefutability checking in for with untupling (#23273)
#2462
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 21s |
for with untupling (#23273)
#2462
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 21s |