X-Ph dZddlmZddlmZddlmZddlmZm Z m Z m Z ddl m Z ddlmZddlmZmZmZmZGd d eZ d(d)dZ d*d+d&Zd'S),z&Utilities for type argument inference.) annotations)Sequence) NamedTuple) SUBTYPE_OF SUPERTYPE_OFinfer_constraintsinfer_constraints_for_callable)ArgKind)solve_constraints) CallableTypeInstanceTypeTypeVarLikeTypec(eZdZUdZded<ded<dS)ArgumentInferContextaType argument inference context. We need this because we pass around ``Mapping`` and ``Iterable`` types. These types are only known by ``TypeChecker`` itself. It is required for ``*`` and ``**`` argument inference. https://github.com/python/mypy/issues/11144 r mapping_type iterable_typeN)__name__ __module__ __qualname____doc____annotations__J/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/mypy/infer.pyrrs6rrTF callee_typer arg_typesSequence[Type | None] arg_kinds list[ArgKind] arg_namesSequence[str | None] | Noneformal_to_actuallist[list[int]]contextstrictboolallow_polymorphicreturn/tuple[list[Type | None], list[TypeVarLikeType]]c\t||||||}|j} t| |||S)a)Infer the type arguments of a generic function. Return an array of lower bound types for the type variables -1 (at index 0), -2 (at index 1), etc. A lower bound is None if a value could not be inferred. Arguments: callee_type: the target generic function arg_types: argument types at the call site (each optional; if None, we are not considering this argument in the current pass) arg_kinds: nodes.ARG_* values for arg_types formal_to_actual: mapping from formal to actual variable indices )r variablesr ) rrrr!r#r%r&r( constraints type_varss rinfer_function_type_argumentsr/!s@01Y 96FK %I Y V=N O OOrr.Sequence[TypeVarLikeType]templateractual is_supertypeskip_unsatisfiedlist[Type | None]cpt|||rtnt}t|||dS)N)r4r)rrrr )r.r1r2r3r4r-s rinfer_type_argumentsr7Bs;$Hfl6bllXbccK Y FV W W WXY ZZrN)TF)rr rrrr r!r"r#r$r%rr&r'r(r'r)r*)FF) r.r0r1rr2rr3r'r4r'r)r5)r __future__rcollections.abcrtypingrmypy.constraintsrrrr mypy.nodesr mypy.solver mypy.typesr r rrrr/r7rrrr?sJ,,""""""$$$$$$ ((((((DDDDDDDDDDDD     :   *#PPPPPJ" [ [ [ [ [ [ [r