o ÕtBhæã@s˜dZddlmZddlmZmZddlmZmZm Z m Z ddl m Z ddl mZddlmZmZmZmZGdd „d eƒZ d$d%dd„Z d&d'd!d"„Zd#S)(z&Utilities for type argument inference.é)Ú annotations)Ú NamedTupleÚSequence)Ú SUBTYPE_OFÚ SUPERTYPE_OFÚinfer_constraintsÚinfer_constraints_for_callable)ÚArgKind)Úsolve_constraints)Ú CallableTypeÚInstanceÚTypeÚ TypeVarIdc@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__©rrúa/var/www/html/riverr-enterprise-integrations-main/venv/lib/python3.10/site-packages/mypy/infer.pyrs  rTÚ callee_typer Ú arg_typesúSequence[Type | None]Ú arg_kindsú list[ArgKind]Úformal_to_actualúlist[list[int]]ÚcontextÚstrictÚboolÚreturnúlist[Type | None]cCs$t|||||ƒ}| ¡}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Ú type_var_idsr )rrrrr r!Ú constraintsÚ type_varsrrrÚinfer_function_type_arguments s  ÿ r(Fr%úlist[TypeVarId]Útemplater ÚactualÚ is_supertypecCst|||rtntƒ}t||ƒS)N)rrrr )r%r*r+r,r&rrrÚinfer_type_arguments?s r-N)T)rr rrrrrrr rr!r"r#r$)F) r%r)r*r r+r r,r"r#r$)rÚ __future__rÚtypingrrÚmypy.constraintsrrrrÚ mypy.nodesr Ú mypy.solver Ú mypy.typesr r r rrr(r-rrrrÚs    ú ÿ