Truthiness of None Does not Narrow Optional Types

Note: if you are reporting a wrong signature of a function or a class in
the standard library, then the typeshed tracker is better suited
for this report: https://github.com/python/typeshed/issues

Please provide more information to help us understand the issue:

• Are you reporting a bug, or opening a feature request?
  I believe this is a bug

• Please insert below the code you are checking with mypy,
  or a mock-up repro if the source is private. We would appreciate
  if you try to simplify your case to a minimal repro.

from typing import Optional

def the_method(maybe_int: Optional[int]):
    can_divide = bool(maybe_int)
    if can_divide:
        100 / maybe_int

• What is the actual behavior/output?

error: Unsupported operand types for / ("int" and "None")

• What is the behavior/output you expect?
  I would think that the conditional branch would recognize that only int values would ever make it there

• What are the versions of mypy and Python you are using?
  mypy 0.720 with Python 3.7.3

• Do you see the same issue after installing mypy from Git master?
  Yes still exists on master

Inizia con la riproduzione minima in Python presente nell'issue e segui il punto di ingresso del restringimento dei tipi basato sulla truthiness di mypy. Nel report non sono indicati file sorgente né test; il lavoro è completato quando il ramo condizionale restringe Optional[int] abbastanza da consentire il controllo del tipo di 100 / maybe_int, con copertura di regressione.