Implicit override warnings reported for _type_checker_internals.pyi #10484
Description
Describe the bug
reportImplicitOverride warnings are reported for an internal _type_checker_internals.pyi file when type checking.
Code or Screenshots
test.py:
x=1pyrightconfig.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