Optional types not being narrowed after a logical-and followed by a test of one of the operands

(Sorry if the title is overly specific)

• Are you reporting a bug, or opening a feature request?

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 get_org_id(org_name: str) -> str:
    return 'some_org_id'

def create(org_name: Optional[str], org_id: Optional[str]):
    if not org_name and not org_id:
        raise ValueError('No org specified')
    if not org_id:
        org_id = get_org_id(org_name)

• What is the actual behavior/output?

The inferred type of org_name at the last line is Optional[str] (technically Union[builtins.str, None]).

• What is the behavior/output you expect?

The type should be narrowed to str.

• What are the versions of mypy and Python you are using?
  Do you see the same issue after installing mypy from Git master?

Python 3.7.3
mypy: 0.701

• What are the mypy flags you are using? (For example --strict-optional)

No flags

Inizia con la riproduzione minima in Python presente nell’issue e conferma il tipo dedotto di org_name dopo le condizioni di AND logico. Traccia il comportamento del restringimento dei tipi per org_name e org_id, quindi aggiungi la copertura per questo caso. Il lavoro è completato quando org_name viene dedotto come str nella chiamata a get_org_id senza compromettere il restringimento dei tipi opzionali correlato.