Type detection broken on attribute override and not-equal-assertion

Bug Report

I commonly find myself writing simplified list init parameters. So, if the user provides only a type X, I automatically convert that to list type [X]. In doing so, I found two issue that prevent a proper type detection. See the example code below.

To Reproduce

#!/usr/bin/env python3
from typing import Union, List, Optional

def test(a: Union[List[str], str, None] = None) -> Optional[List[str]]:
    if type(a) == str:
        a = [a]
    assert(type(a) != str)
    return a

Expected Behavior

1. First, the type(a) == str check and consequent list assignment should remove the str type from the Union choices.
2. Second, the assert(!=) check should also remove the str type from the Union options.

Actual Behavior

Both checks do not work and the type is still guessed incorrectly:

Your Environment

• Mypy version used: 0.910
• Mypy command-line flags: pip install
• Mypy configuration options from mypy.ini (and other config files): -
• Python version used: 3.8
• Operating system and version: macOS 10.15

まず、提供されている Python 再現コードを mypy に対して実行し、type(a) == str の代入と assert(type(a) != str) のチェックにおける型の絞り込みの動作を調べます。両方の分岐で推論された Union から str が除外され、関数が期待される Optional[List[str]] の戻り値型で受け入れられれば完了です。