INTERNAL ERROR in check_argument_types

[LukeHankey]

Crash Report

Ran mypy with experimental features (Unpack, TypeVarTuple)

Traceback

src/features/imputation.py:8: error: Skipping analyzing "missingpy": module is installed, but missing library stubs or py.typed marker  [import]
src/features/imputation.py:8: note: See https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports
src/features/imputation.py:188: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
Please report a bug at https://github.com/python/mypy/issues
version: 1.5.0+dev.7d031beb017450ac990c97e288d064290e3be55f
Traceback (most recent call last):
  File "/home/luke/oxcan-fs/venv/bin/mypy", line 8, in <module>
    sys.exit(console_entry())
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/__main__.py", line 15, in console_entry
    main()
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/main.py", line 95, in main
    res, messages, blockers = run_build(sources, options, fscache, t0, stdout, stderr)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/main.py", line 174, in run_build
    res = build.build(sources, options, None, flush_errors, fscache, stdout, stderr)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 196, in build
    result = _build(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 269, in _build
    graph = dispatch(sources, manager, stdout)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 2926, in dispatch
    process_graph(graph, manager)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 3324, in process_graph
    process_stale_scc(graph, scc, manager)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 3425, in process_stale_scc
    graph[id].type_check_first_pass()
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/build.py", line 2311, in type_check_first_pass
    self.type_checker().check_first_pass()
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 472, in check_first_pass
    self.accept(d)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1139, in accept
    return visitor.visit_class_def(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2231, in visit_class_def
    self.accept(defn.defs)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1220, in accept
    return visitor.visit_block(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2684, in visit_block
    self.accept(s)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 786, in accept
    return visitor.visit_func_def(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 962, in visit_func_def
    self._visit_func_def(defn)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 966, in _visit_func_def
    self.check_func_item(defn, name=defn.name)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 1038, in check_func_item
    self.check_func_def(defn, typ, name, allow_empty)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 1234, in check_func_def
    self.accept(item.body)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1220, in accept
    return visitor.visit_block(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2684, in visit_block
    self.accept(s)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1488, in accept
    return visitor.visit_if_stmt(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 4328, in visit_if_stmt
    self.accept(b)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1220, in accept
    return visitor.visit_block(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2684, in visit_block
    self.accept(s)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 582, in accept
    stmt.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1307, in accept
    return visitor.visit_assignment_stmt(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2732, in visit_assignment_stmt
    self.check_assignment(s.lvalues[-1], s.rvalue, s.type is None, s.new_syntax)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 2905, in check_assignment
    rvalue_type = self.check_simple_assignment(lvalue_type, rvalue, context=rvalue)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checker.py", line 3955, in check_simple_assignment
    rvalue_type = self.expr_checker.accept(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 5016, in accept
    typ = node.accept(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/nodes.py", line 1901, in accept
    return visitor.visit_call_expr(self)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 438, in visit_call_expr
    return self.visit_call_expr_inner(e, allow_none_return=allow_none_return)
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 558, in visit_call_expr_inner
    ret_type = self.check_call_expr_with_callee_type(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 1218, in check_call_expr_with_callee_type
    ret_type, callee_type = self.check_call(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 1301, in check_call
    return self.check_callable_call(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 1492, in check_callable_call
    self.check_argument_types(
  File "/home/luke/oxcan-fs/venv/lib/python3.10/site-packages/mypy/checkexpr.py", line 2155, in check_argument_types
    assert isinstance(unpacked_type, Instance)
AssertionError: 
src/features/imputation.py:188: : note: use --pdb to drop into pdb

To Reproduce

from typing import Any
from typing import Generic
from typing import TypedDict

import pandas as pd
from missingpy import MissForest
from typing_extensions import TypeVarTuple
from typing_extensions import Unpack


class MissForestParams(TypedDict, total=False):
    """Typing class for MissForest parameters."""

    pass


Ts = TypeVarTuple("Ts")


class Imputer(Generic[Unpack[Ts]]):

    def __init__(self, data: pd.DataFrame) -> None:
        self.data = data

    def __call__(
        self,
        method: str,
        /,
        *args: Unpack[Ts],
        **kwargs: Any,
    ) -> pd.DataFrame:
        imputed_data = self.data
        if method == "miss_forest":
            imputed_data = self._miss_forest(self.data, *args, **kwargs)

        return imputed_data

    def _miss_forest(self, data: pd.DataFrame, *args: Unpack[Ts], **kwargs: Unpack[MissForestParams]) -> pd.DataFrame:
        imputer = MissForest(*args, **kwargs)

        return pd.DataFrame(imputer.fit_transform(data), columns=data.columns)

Your Environment

• Mypy version used: mypy 1.5.0+dev.7d031beb017450ac990c97e288d064290e3be55f (compiled: no). Also ran on 1.4.0 before checking current GitHub version.
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):

[tool.mypy]
python_version = "3.10"
disallow_untyped_defs = true
disallow_incomplete_defs = true
check_untyped_defs = true
warn_redundant_casts = true
warn_unreachable = true
show_error_codes = true
disallow_any_generics = true
follow_imports = "silent"
enable_incomplete_feature = ["Unpack", "TypeVarTuple"]

• Python version used: 3.10.6
• Operating system and version: Windows 11, Version 22H2

[AlexWaygood]

Very similar traceback to #15241