Strange error when calling len() on a class without __len__ and then using the result for division

Bug Report

Consider this code:

class A: ...

b = 3.0
c = b / len(A())
reveal_type(c)

mypy gives this result:

division.py:4: error: Unsupported operand types for / ("float" and "int")
division.py:4: error: Argument 1 to "len" has incompatible type "A"; expected "Sized"
division.py:5: note: Revealed type is "Any"
Found 2 errors in 1 file (checked 1 source file)

The second error is expected, but the first one (“Unsupported operand types for / ("float" and "int").”) is very confusing, because clearly division is defined for float and int.

If A has __len__, everything is fine:

class A:
    def __len__(self) -> int: return 0

b = 3.0
c = b / len(A())
reveal_type(c)

mypy output:

division.py:6: note: Revealed type is "builtins.float"
Success: no issues found in 1 source file

Your Environment

• Mypy version used: 0.960
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10
• Operating system and version: Ubuntu 22.04

Beginne mit dem gemeldeten Python-Snippet, das len(), Division und reveal_type verwendet, und reproduziere es mit der angegebenen mypy-Version und ohne Flags. Verfolge, wie der Typprüfer das ungültige Argument von len() und die daraus resultierende Division behandelt, und füge anschließend eine fokussierte Abdeckung hinzu, die zeigt, dass die Diagnose für die Division nicht irreführend ist, während der ungültige len()-Aufruf weiterhin gemeldet wird.