Allow arbitrary types in dict.pop (3 overloads)
#9549
| Job | Run time |
|---|---|
| 49s | |
| 24s | |
| 1m 5s | |
| 2m 18s |
dict.pop (3 overloads)
#9549
| Job | Run time |
|---|---|
| 49s | |
| 24s | |
| 1m 5s | |
| 2m 18s |