#19816 PyRight giving false positives, using wrong Python version and/or needs to use newer version of PyRight? Issue created by olivercoleman-switchdin I'm using the

pants.backend.experimental.python.typecheck.pyright

backend for type checking. Part of the motivation for this is so that type checking is consistent between the IDE (VS Code) and via the build system. However I'm getting errors from the PyRight backend that are wrong and not consistent with what VS Code is showing. The input file is: from enum import StrEnum from typing import TypeVar import numpy as np import static_frame as sf from attrs import Attribute, field, frozen, validators from static_frame.core.index_base import IndexBase class TestEnum(StrEnum): Foo="Bar" @frozen class AttrsFrame: pass def _check_series_type(series_or_index: sf.Series | IndexBase, data_type: type | np.dtype, field_name: str = ""): pass IndexType = TypeVar("IndexType", bound=IndexBase) # pylint: disable=invalid-name def index_field_factory( index_class: type[IndexType] = sf.Index, index_type: type | np.dtype | None = None ) -> IndexType: validator = [validators.instance_of(index_class)] if index_type is not None: def _index_type_validator(instance: AttrsFrame, attribute: Attribute, value: IndexType): _check_series_type(value, index_type) validator.append(_index_type_validator) return field(validator=validator) The output from

pants check ::

is:

02:59:06.20 [ERROR] Completed: Typecheck using Pyright - pyright - pyright failed (exit code 1).
Loading configuration file at /tmp/pants-sandbox-yBqex3/pyrightconfig.json
Unable to get Python version from interpreter
Assuming Python platform Linux
Auto-excluding **/node_modules
Auto-excluding **/__pycache__
Auto-excluding **/.*
Searching for source files
Found 2 source files
pyright 1.1.274
/tmp/pants-sandbox-yBqex3/src/foo.py
  /tmp/pants-sandbox-yBqex3/src/foo.py:1:18 - error: "StrEnum" is unknown import symbol (reportGeneralTypeIssues)
  /tmp/pants-sandbox-yBqex3/src/foo.py:28:26 - error: Argument of type "(instance: AttrsFrame, attribute: Attribute[Unknown], value: IndexType@index_field_factory) -> None" cannot be assigned to parameter "__object" of type "(Any, Attribute[IndexType@index_field_factory | Index], IndexType@index_field_factory | Index) -> Any" in function "append"
    Type "(instance: AttrsFrame, attribute: Attribute[Unknown], value: IndexType@index_field_factory) -> None" cannot be assigned to type "(Any, Attribute[IndexType@index_field_factory | Index], IndexType@index_field_factory | Index) -> Any"
      Parameter 3: type "IndexType@index_field_factory | Index" cannot be assigned to type "IndexType@index_field_factory"
        Type "IndexType@index_field_factory | Index" cannot be assigned to type "IndexType@index_field_factory" (reportGeneralTypeIssues)
  /tmp/pants-sandbox-yBqex3/src/foo.py:29:12 - error: Expression of type "IndexType@index_field_factory | Index" cannot be assigned to return type "IndexType@index_field_factory"
    Type "IndexType@index_field_factory | Index" cannot be assigned to type "IndexType@index_field_factory" (reportGeneralTypeIssues)
3 errors, 0 warnings, 0 informations 
Completed in 0.913sec

stubPath /tmp/pants-sandbox-yBqex3/typings is not a valid directory.

The

StrEnum

issue may be because it's using the wrong version of Python?

StrEnum

was introduced in Python 3.11. Perhaps the other issue is a result of VS Code using the latest version of PyRight (1.1.326) whereas the PyRight backend for Pants is using 1.1.274? Pants version 2.17 OS Linux (in a docker contained based on

python:3.11.5-slim-bookworm

"Minimal" repo to reproduce: https://github.com/olivercoleman-switchdin/pants_test pantsbuild/pants