More specific type hints for batched(..., strict=True)
#21459
| Job | Run time |
|---|---|
| 2s | |
| 2s | |
| 2s | |
| 3s | |
| 1s | |
| 10s |
batched(..., strict=True)
#21459
| Job | Run time |
|---|---|
| 2s | |
| 2s | |
| 2s | |
| 3s | |
| 1s | |
| 10s |