Mypy should warn about conditions whose value can be deduced

Feature

Mypy can warn about left and right operands of conditions its value mypy can deduce. Unfortunately, it cannot do so for conditions consisting of one operand.

Pitch

val = 1337

if val is not None:
    pass

if val is not None and True:
    pass

Mypy can hint about the pointless left hand operand in the second if. Unfortunately, it does not do so for the first if. Supporting this use case would help the programmer to simplify her code by suggesting conditions to remove.

Beginne mit mypys bestehender Diagnose für den überflüssigen linken Operanden im Beispiel and True, und finde anschließend die Implementierung und die Tests, die sie erzeugen. Füge Abdeckung für den Fall mit einem einzelnen Operanden if val is not None hinzu und verifiziere, dass mypy die entfernungsfähige Bedingung meldet, ohne das bestehende Verhalten zu beeinträchtigen.