Challenge should include Python target version

[yanyongyu]

Python version will affect the challenge test, such as:

Challenge - dict

type custom = dict[str, str]

def foo(x: custom):
    pass

it's ok in python 3.12, but could not pass the test.

[laike9m]

Thanks for the feedback. Will add some information

Though this is because mypy doesn't support it yet
python/mypy#15238

[yanyongyu]

Pyright, which developed by the author of the issue you mentioned, has already supported this feature. It's also a modern static type checker supported by microsoft and used in vscode officially (core of the Pylance LS). It could also set the python version and even platform type. Here's an playground example.

[laike9m]

You're right, I'm considering supporting more type checkers (pyright in particular) as a long term solution, since pyright implements the typing PEPs more timely. (more context: pyright does not have a Python API, so it's not as easy to integrate as mypy, it requires installing node.js and calling a subprocess, which is doable but needs some more consideration)

In the short-term, I plan to add some message to indicate the things that are not yet supported (like the type keyword)

[yanyongyu]

For some complex type derivation challenges, we have encountered many situations that mypy cannot infer, and Pyright is able to do so. That's good if pyright will be supported.

[laike9m]

ture. Unfortunately mypy is not well funded as pyright does, as you can imagine