Closed dweindl closed 2 months ago
With Python3.10 (#2039) we can use zip(... , strict=True). We should use that everywhere. I'm not aware of a case where we don't assume equal lengths.
zip(... , strict=True)
With Python3.10 (#2039) we can use
zip(... , strict=True)
. We should use that everywhere. I'm not aware of a case where we don't assume equal lengths.