urnest

am having a go at this in https://github.com/urnest/mypy/tree/issue-16935

current master (10f18a82b612b6127659cd64aa60c10b9cc7a904) gives: /home/xju/tmp/xxx.py:1:23: error: Argument 1 to "tuple" has incompatible type "tuple[int, int, int]"; expected "tuple[int, int]" [arg-type] /home/xju/tmp/xxx.py:2:24: error: Incompatible types in assignment (expression has type "tuple[int,...

um, I don't think there is a bug here? python list type is always variable length (https://docs.python.org/3/library/typing.html#annotating-tuples, not sure if there's a better reference)... in terms of the typing, the...

yep, sorry, misinterpreted the OP - thanks for the clarifications

current master (10f18a82b612b6127659cd64aa60c10b9cc7a904) I think gives (on the better example): /home/xju/tmp/xxx.py:2:21: error: Argument 1 to "tuple" has incompatible type "list[str]"; expected "tuple[int, int]" [arg-type] /home/xju/tmp/xxx.py:3:13: note: Revealed type is "tuple[builtins.int,...