Allow arbitrary types in dict.pop (3 overloads)
#9558
| Job | Run time |
|---|---|
| 33s | |
| 44s | |
| 47s | |
| 2m 4s |
dict.pop (3 overloads)
#9558
| Job | Run time |
|---|---|
| 33s | |
| 44s | |
| 47s | |
| 2m 4s |