Support TypeVar bound #1463

CTrando · 2019-08-20T21:12:45Z

Added support for return values as well.

The reason it fixes #1242 is that the typeshed says:

_P = TypeVar('_P', bound='PurePath')

if sys.version_info >= (3, 6):
    _PurePathBase = os.PathLike[str]
else:
    _PurePathBase = object

class PurePath(_PurePathBase):
    # ...
    def __truediv__(self: _P, key: Union[str, PurePath]) -> _P: ...
    if sys.version_info < (3,):
        def __div__(self: _P, key: Union[str, PurePath]) -> _P: ...

So the division operator returns _P, but the class is not generic on anything, so we are forced to use the upper bound PurePath for the return value of _P. Also, I added generic self capabilities to fix some test failures.

src/Analysis/Ast/Impl/Typeshed/stdlib/3.4/pathlib.pyi

src/Analysis/Ast/Impl/Types/PythonClassType.Generics.cs

… values

src/Analysis/Ast/Impl/Analyzer/Evaluation/ExpressionEval.Annotations.cs

src/Analysis/Ast/Impl/Specializations/Typing/Definitions/IGenericTypeParameter.cs

src/Analysis/Ast/Impl/Specializations/Typing/Types/GenericTypeParameter.cs

CTrando added 3 commits August 16, 2019 17:01

instructions

c582e1c

Fixing return value Generic Type Parameter with bound

e0cfc90

removing todo

216300f

CTrando requested a review from MikhailArkhipov August 20, 2019 21:12

CTrando commented Aug 20, 2019

View reviewed changes

src/Analysis/Ast/Impl/Typeshed/stdlib/3.4/pathlib.pyi Outdated Show resolved Hide resolved

CTrando added 2 commits August 22, 2019 14:12

Removing edits to stub

54a5195

compile error

b601978

MikhailArkhipov reviewed Aug 22, 2019

View reviewed changes

src/Analysis/Ast/Impl/Types/PythonClassType.Generics.cs Outdated Show resolved Hide resolved

MikhailArkhipov reviewed Aug 22, 2019

View reviewed changes

src/Analysis/Ast/Impl/Types/PythonClassType.Generics.cs Outdated Show resolved Hide resolved

Fixing tests, adding type parameter resolution when evaluating return…

b16632d

… values