Experiment: what happens if we just remove the second overload of dict.pop?
#9560
| Job | Run time |
|---|---|
| 1m 3s | |
| 26s | |
| 42s | |
| 2m 11s |
dict.pop?
#9560
| Job | Run time |
|---|---|
| 1m 3s | |
| 26s | |
| 42s | |
| 2m 11s |