Bug Report

Certain patterns of if isinstance(...) cause mypy to forget that a variable has a particular generic type.

To Reproduce

Run the following Python code through mypy with --strict:

from typing import TypeVar

# context:
T = TypeVar('T')
class A: pass
class B: pass


def function1(obj: T) -> T:  # expected behaviour:
    if isinstance(obj, A):
        pass
    elif isinstance(obj, B):
        pass
    return obj  # no problem here

def function2(obj: T) -> T:  # unexpected behaviour:
    if isinstance(obj, (A, B)):
        pass
    return obj  # mypy has forgotten that obj is of type T

The issue also reproduces with this alternate definition of function2:

def function2(obj: T) -> T:  # unexpected behaviour:
    if isinstance(obj, A) or isinstance(obj, B):
        pass
    return obj  # mypy has forgotten that obj is of type T

Expected Behavior

mypy should issue no errors.

Actual Behavior

<last line of function2>: error: Returning Any from function declared to return "T" 
[no-any-return]
        return obj  # mypy has forgotten that 'obj' is of type 'T'
        ^
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: mypy 0.910
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): no additional flags are necessary to reproduce the issue
• Python version used: CPython 3.8.3 (from pyenv)
• Operating system and version: macOS 10.14