Mypy does not report as an error passing a list[str] where tuple[str, ...] is expected.

[slothyrulez]

Bug Report

Mypy does not report as a bug passing a list[str] where tuple[str, ...] is expected.

To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=032e779ff0e6eb9f72a3c902a9f6dba7

Expected Behavior

Mypy identifies the issue.

Actual Behavior

mypy /tmp/mypy_error.py 
Success: no issues found in 1 source file

Your Environment

• Mypy version used: 1.7.1
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.11

[JelleZijlstra]

Thanks for the report, but please try to minimize your bug reports so it easier to see the issue. I haven't looked very closely but this seems related to functools.partial and therefore quite possibly a duplicate of #1484.

[slothyrulez]

Thanks for the report, but please try to minimize your bug reports so it easier to see the issue. I haven't looked very closely but this seems related to functools.partial and therefore quite possibly a duplicate of #1484.

Yes, sorry, I'm not really sure where the issue is, so I just wrote an example that reproduces the issue. Indeed there is a funtools.partial involved.

[JelleZijlstra]

Then the way to minimize is to remove code from the example until you get the simplest possible example that still shows the problem.

[slothyrulez]

Thanks @JelleZijlstra, a reduced version:

from __future__ import annotations

import functools
from typing import Callable, TypeVar

TR = TypeVar("TR")


def dummy(key_callable: Callable[[], str], value_callable: Callable[[], TR]) -> TR:
    _ = key_callable()
    value = value_callable()
    return value


class Thing:
    def _get_cache_key(self, obj_id: str, expand: tuple[str, ...]) -> str:
        return f"key.{obj_id}{'.'.join(expand)}"

    def _get_an_object(self, obj_id: str, expand: list[str]) -> str:
        return f"value.{obj_id}{'.'.join(expand)}"

    def get_obj(self, obj_id: str, expand: list[str]) -> str:
        return dummy(
            functools.partial(self._get_cache_key, obj_id, expand),
            functools.partial(self._get_an_object, obj_id, expand),
        )

https://mypy-play.net/?mypy=latest&python=3.11&gist=e258fc60b107eecfe1754db8311c9c6f