o 2g @sdZddlmZddlmZmZddlmZmZm Z m Z ddl m Z ddl mZddlmZmZmZmZGdd d eZ d)d*ddZ d+d,d&d'Zd(S)-z&Utilities for type argument inference.) annotations) NamedTupleSequence) SUBTYPE_OF SUPERTYPE_OFinfer_constraintsinfer_constraints_for_callable)ArgKind)solve_constraints) CallableTypeInstanceTypeTypeVarLikeTypec@s"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__rrB/home/garg/my-data/venv/lib/python3.10/site-packages/mypy/infer.pyrs  rTF 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 Cs&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 ) rrrrr r"r#r% constraints type_varsrrrinfer_function_type_arguments s  r+r*Sequence[TypeVarLikeType]templater actual is_supertypeskip_unsatisfiedlist[Type | None]cCs&t|||rtnt}t|||ddS)N)r0r)rrrr )r*r-r.r/r0r)rrrinfer_type_argumentsAs r2N)TF)rr rrrrrrr r!r"rr#r$r%r$r&r')FF) r*r,r-r r.r r/r$r0r$r&r1)r __future__rtypingrrmypy.constraintsrrrr mypy.nodesr mypy.solver mypy.typesr r r rrr+r2rrrrs    %