Division By Zero

crates/ty_python_semantic/resources/lint_docs/division-by-zero.md

0.15.18285 B

What it does

It detects division by zero.

Dividing by zero raises a ZeroDivisionError at runtime.

This rule is currently disabled by default because of the number of false positives it can produce.

python

5 / 0  # error