Allow arbitrary types in dict.pop (2 overloads)
#9547
| Job | Run time |
|---|---|
| 1m 4s | |
| 42s | |
| 1m 15s | |
| 3m 1s |
dict.pop (2 overloads)
#9547
| Job | Run time |
|---|---|
| 1m 4s | |
| 42s | |
| 1m 15s | |
| 3m 1s |