"Go to Definition" doesnt work for private methods of stdlib

[timhughes]

"Go to Definition" doesn't work for private methods of stdlib. In the following code example "Go to definition" doesn't work for self._last_mtime. It is probably related to pyright only looking at typeshed for symbols in stdlib microsoft/pyright#5825

The "Go to definition" works correctly if I change "python.languageServer": "Pylance" server to "Jedi"

I don't know if this is a bug or improvement for PyLance or a config option I can change somewhere

from gzip import _GzipReader


class _MyGzipReader(_GzipReader):
    def __init__(self, fp):
        super().__init__(fp)
        self._my_last_mtime = self._last_mtime

[erictraut]

This is functionality that pylance adds on top of pyright. It requires some sophisticated heuristics to find associations between typeshed stubs and implementation files. We have no plans to implement this in pyright. If you want this functionality, you can use pylance.

[timhughes]

I am using PyLance but it doesn't work. The functionality only works if I switch to Jedi. I am talking about the part where you hold down CTRL and select the member and it goes to the definition in the .py file

[erictraut]

Oh, that's because this symbol is defined as "not present" in the type stub. The type stub is considered the source of truth for type information, and pylance won't look for it in the source file if the type stub says that it's not present.

[timhughes]

Does that mean this is a "Wontfix" or a feature request? I just want to be able to click through to the implementation

[erictraut]

You could file a bug report / PR in the typeshed project if you think that this symbol should be included in the stub file. Or you could file a feature request in the pylance-release project and see if the pylance team is willing to add extra logic to ignore the type information in the type stub and look for private symbols in the implementation. It's a "won't fix" for pyright, since pyright is focused on type checking and this isn't a type checking feature.