[Python-ideas] Re: Python array multiplication for negative values should throw an error

fjwillemsen--- via Python-ideas writes:

Of course, such bugs do not occur solely due to the lack of a raised errors on negative multiplication: in this case, a combination of a faulty assumption on the programmers' part and Python's lack of strict typing.

I'll take that bait: did mypy miss this?