Type variable across types gives an error when using Generics

Bug Report

When using a TypeVar defined in another local file, to parameterize a Generic, the following error is given:

Free type variable expected in Generic[...]

To Reproduce

Create file value.py:

from typing import TypeVar, Protocol

TValue = TypeVar('TValue', covariant=True)

# As an example, this does not give me any errors
class IValueProcessor(Protocol, Generic[TValue]):
    ...

Create service.py:

from abc import ABC
from typing import Generic

from  .value import TValue

class Service(ABC, Generic[TValue]):  # Error occurs here, on `Generic`
    ...

Expected Behavior

Should not give any errors (I think).

Actual Behavior

An error is produced, when parameterizing Generic:

Free type variable expected in Generic[...]

Your Environment

• Mypy version used: 0.930
• Mypy command-line flags: (none)
• Mypy configuration options from mypy.ini (and other config files): (none was created, at least explicitly)
• Python version used: CPython 3.8.10
• Operating system and version: Ubuntu 20.04 LTS on WSL2

Start with the two-file reproduction in value.py and service.py, then run mypy 0.930 with no configuration or command-line flags to confirm the error. Trace how the imported TValue is handled when processing Generic[TValue], and add a regression test based on this example; done means the valid generic declaration no longer reports “Free type variable expected in Generic[...]”.