Add setting to switch from reporting on a file to reporting on the workspace

[karthiknadig]

[MartinBernstorff]

Would this be equivalent to linting across files?

E.g. if I write this implementation in abc.py:

from abc import ABC, ABCMeta, abstractmethod
from typing import Protocol, Tuple


class TestABC(ABC):
    @abstractmethod
    def test(self, testparam2: int) -> float:
        ...


class ABCImplementation(TestABC):
    def test(self, testparam2: str) -> str:
        return testparam2

I get an error

Return type "str" of "test" incompatible with return type "float" in supertype "TestABC"Mypy[override](https://mypy.readthedocs.io/en/latest/_refs.html#code-override)

But if I move TestABC to another file and import it, I don't get the error. E.g:

from TestABC import TestABC


class ABCImplementation(TestABC):
    def test(self, testparam2: str) -> str:
        return testparam2

Is errorless. Pyright in strict mode raises an error in both cases.

[karthiknadig]

Would this be equivalent to linting across files?

That is correct.

[karrtikr]

Adding milestone to make sure this is verified.