Skip to content

Implicit override warnings reported for _type_checker_internals.pyi #10484

Open
@correctmost

Description

@correctmost

Describe the bug
reportImplicitOverride warnings are reported for an internal _type_checker_internals.pyi file when type checking.

Code or Screenshots

test.py:

x=1

pyrightconfig.json:

{
  "reportImplicitOverride": true
}

Running npx pyright test.py produces these warnings:

~/.npm/_npx/110e52990071af13/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi
  ~/.npm/_npx/110e52990071af13/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi:40:9 - error: Method "items" is not marked as override but is overriding a method in class "Mapping[str, object]" (reportImplicitOverride)
  ~/.npm/_npx/110e52990071af13/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi:41:9 - error: Method "keys" is not marked as override but is overriding a method in class "Mapping[str, object]" (reportImplicitOverride)
  ~/.npm/_npx/110e52990071af13/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi:42:9 - error: Method "values" is not marked as override but is overriding a method in class "Mapping[str, object]" (reportImplicitOverride)

VS Code extension or command-line
Command-line version 1.1.401

Metadata

Metadata

Assignees

No one assigned

    Labels

    addressed in next versionIssue is fixed and will appear in next published versionbugSomething isn't workingregression

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions