Forward-referencing type application with type variable in a value expression in stubs emits confusing error

Bug Report, To Reproduce, & Actual Behaviour

In .pyi stub files, the spec mandates type-checkers to recognise forward references in annotation expressions without string-quoting. It is however silent about value expressions, but in mypy I've used symbols defined later in a stub file in a value context before without any issues, except recently when hitting the following example:

# stub.pyi
from typing_extensions import Generic, TypeVar

R = TypeVar("R")
T = TypeVar("T")

class A(Generic[R]):
    var = B[R]()  # E: "R" is a type variable and only valid in type context

class B(Generic[T]): ...

Expected Behavior

Either:

1. no errors, or
2. mypy doesn't support forward references in value contexts for stub files, and this emits a used-before-def error at B[R]().

Your Environment

• Mypy version used: 1.17
• Python version used: 3.11, 3.12

Beginne mit dem Reproducer stub.pyi und untersuche, wie mypy Vorwärtsreferenzen in Wertausdrücken in Stub-Dateien behandelt. Vergleiche die aktuelle Diagnose mit den beiden im Issue beschriebenen erwarteten Ergebnissen; abgeschlossen ist es, wenn das Verhalten entweder akzeptiert wird oder bei B[R]() als used-before-def gemeldet wird.