Outside of the mis-hinted types, the code doesn’t do anything wrong. Python type-checking systems will, whenever possible, try to infer types. For instance, ...