pPj dZddlmZddlmZddlmZddlmZm Z m Z m Z ddl m Z ddlmZddlmZmZmZmZGd d Z d dd Z d dd Zy )z&Utilities for type argument inference.) annotations)Sequence)Final) SUBTYPE_OF SUPERTYPE_OFinfer_constraintsinfer_constraints_for_callable)ArgKind)solve_constraints) CallableTypeInstanceTypeTypeVarLikeTypeceZdZdZddZy)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 c ||_||_y)N) mapping_type iterable_type)selfrrs O/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/mypy/infer.py__init__zArgumentInferContext.__init__s#/$1N)rr rr returnNone)__name__ __module__ __qualname____doc__rrrrrs 2rrcVt||||||}|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 ) callee_type arg_types arg_kinds arg_namesformal_to_actualcontextstrictallow_polymorphic constraints type_varss rinfer_function_type_argumentsr,"s;01Y 96FK %%I Y V=N OOrcZt|||rtnt|}t|||dS)N) erase_types)skip_unsatisfiedr)rrrr )r+templateactual is_supertyper/r.r*s rinfer_type_argumentsr3Cs4$&,,JT_K Y FV WXY ZZrN)TF)r"r r#zSequence[Type | None]r$z list[ArgKind]r%zSequence[str | None] | Noner&zlist[list[int]]r'rr(boolr)r4rz/tuple[list[Type | None], list[TypeVarLikeType]])FFT)r+zSequence[TypeVarLikeType]r0rr1rr2r4r/r4r.r4rzlist[Type | None])r __future__rcollections.abcrtypingrmypy.constraintsrrrr mypy.nodesr mypy.solver mypy.typesr r rrrr,r3rrrr<s,"$ (DD 2 2,#PP$PP+ P & P " P PP5PJ" [( [ [  [ [  [  [ [r