\jU dZddlmZddlmZddlmZddlmZm Z m Z m Z ddl m Z ddlmZddlmZmZmZmZGd d Z d(d)dZ d*d+d&Zd'S),z&Utilities for type argument inference.) annotations)Sequence)Final) SUBTYPE_OF SUPERTYPE_OFinfer_constraintsinfer_constraints_for_callable)ArgKind)solve_constraints) CallableTypeInstanceTypeTypeVarLikeTypeceZdZdZd dZdS) 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 mapping_typer iterable_typereturnNonec"||_||_dS)N)rr)selfrrs N/var/www/app.qaans.com/backend/venv/lib/python3.11/site-packages/mypy/infer.py__init__zArgumentInferContext.__init__s#/$1N)rr rr rr)__name__ __module__ __qualname____doc__rrrrrs2222222rrTF callee_typer arg_typesSequence[Type | None] arg_kinds list[ArgKind] arg_namesSequence[str | None] | Noneformal_to_actuallist[list[int]]contextstrictboolallow_polymorphicr/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 ) r r!r#r%r'r)r*r, constraints type_varss rinfer_function_type_argumentsr2"s@01Y 96FK %I Y V=N O OOrr1Sequence[TypeVarLikeType]templateractual is_supertypeskip_unsatisfiedlist[Type | None]cpt|||rtnt}t|||dS)N)r7r)rrrr )r1r4r5r6r7r0s rinfer_type_argumentsr:Cs;$Hfl6bllXbccK Y FV W W WXY ZZrN)TF)r r r!r"r#r$r%r&r'r(r)rr*r+r,r+rr-)FF) r1r3r4rr5rr6r+r7r+rr8)r __future__rcollections.abcrtypingrmypy.constraintsrrrr mypy.nodesr mypy.solver mypy.typesr r rrrr2r:rrrrBsH,,""""""$$$$$$ ((((((DDDDDDDDDDDD 2 2 2 2 2 2 2 2,#PPPPPJ" [ [ [ [ [ [ [r