o tBh @sdZddlmZddlmZddlmZmZddlm Z ddl m Z ddl m Z ddlmZmZmZmZmZmZmZmZdd lmZ ddddZdS)z!Type inference constraint solving) annotations) defaultdict) SUPERTYPE_OF Constraint) join_types) meet_types) is_subtype)AnyType ProperTypeType TypeOfAny TypeVarIdUninhabitedType UnionTypeget_proper_type) TypeStateTvarslist[TypeVarId] constraintslist[Constraint]strictboolreturnlist[Type | None]cCsntt}|D] }||j|qg}|D]}d}d}d} ||gD]0} | jtkrE|dur2| j}q#tj r>t || jg}q#t || j}q#|durM| j}q#t || j}q#t|} t|} t| tsft| trt| trm|n|} t| tryt| ts{J|ttj| dq|dur|r|} n |rt} d| _nttj} n|dur|} n t||r|} nd} || q|S)a9Solve type constraints. Return the best type(s) for type variables; each type can be None if the value of the variable could not be solved. If a variable has no constraints, if strict=True then arbitrarily pick NoneType as the value of the type variable. If strict=False, pick AnyType. N) source_anyT)rlisttype_varappendgetoprtargetr infer_unionsr make_unionrrr isinstancer r r from_another_anyr ambiguous special_formr)rrrcmapconrestvarbottomtop candidatecp_topp_bottomrr1a/var/www/html/riverr-enterprise-integrations-main/venv/lib/python3.10/site-packages/mypy/solve.pysolve_constraintssN     r3N)T)rrrrrrrr)__doc__ __future__r collectionsrmypy.constraintsrr mypy.joinr mypy.meetr mypy.subtypesr mypy.typesr r r r r rrrmypy.typestaterr3r1r1r1r2s     (