pPjUddlmZddlmZddlmZddlmZm Z m Z m Z m Z m Z ddlmZmZmZmZmZmZeeegdfZded<Gd d Zy) ) annotations)Callable) TypeAlias)Context ParamSpecExprSymbolTableNode TypeVarExprTypeVarLikeExprTypeVarTupleExpr)ParamSpecFlavor ParamSpecType TypeVarIdTypeVarLikeTypeTypeVarTupleType TypeVarTypeN _TypeAliasFailFuncceZdZdZ d ddZddZddZddZddZddZ dd Z dd Z dd Z dd Z y)TypeVarLikeScopezvScope that holds bindings for type variables and parameter specifications. Node fullname -> TypeVarLikeType. Nci|_||_d|_d|_||_||_||_|#|j|_|j|_yy)aVInitializer for TypeVarLikeScope Parameters: parent: the outer scope for this scope is_class_scope: True if this represents a generic class prohibited: Type variables that aren't strictly in scope exactly, but can't be bound because they're part of an outer class's scope. rN)scopeparentfunc_idclass_idis_class_scope prohibited namespace)selfrrrrs T/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/mypy/tvar_scope.py__init__zTypeVarLikeScope.__init__ sW24    ,$"  !>>DL"OODM c\|}|'|jr|j}| |jr|S)zAGet the nearest parent that's a function scope, not a class scope)rr)rits rget_function_scopez#TypeVarLikeScope.get_function_scope:s1&*n!2!2Bn!2!2 r!c||jvry|jr|jj|sy|jr|jj|syy)NFT)rr allow_bindingr)rfullnames rr&zTypeVarLikeScope.allow_bindingAsJ tzz ! [[!:!:8!D __T__%B%B8%Lr!c t|dd|S)z&A new scope frame for binding a methodFNr)rrrs r method_framezTypeVarLikeScope.method_frameJseTYGGr!c<t|jd||S)zEA new scope frame for binding a class. Prohibits *this* class's tvarsTr))rr$r*s r class_framezTypeVarLikeScope.class_frameNs 7 7 94QZ[[r!cV|xjdzc_t|jS)zHUsed by plugin-like code that needs to make synthetic generic functions.)rr)rs rnew_unique_func_idz#TypeVarLikeScope.new_unique_func_idRs  &&r!c |jr"|xjdz c_|j}n!|xjdzc_|j}|j}t |t rft ||jt|||j|j|j|j|j|j }nt |tr_t!||jt||t"j$|j|j|j|j}nmt |t&r[t)||jt|||j|j*|j|j|j}nJ||j,|j<|S)Nr/r)) namer'idvalues upper_bounddefaultvariancelinecolumn)r2r'r3flavorr5r6r8r9)r2r'r3r5tuple_fallbackr6r8r9)rrrr isinstancer rr'rr4r5r6r7r8r9rr r BAREr rr;r)rr2 tvar_expr fail_funccontextirtvar_defs rbind_newzTypeVarLikeScope.bind_newWsq    MMQ M A LLA L ANN i -(3"++Q)4 ''%11!))"++^^ '' )H = 1$"++Q)4&++%11!))^^ '' H #3 4'"++Q)4%11(77!))^^ '' H 5)1 9%%&r!c6||j|j<yN)rr')rrBs r bind_existingzTypeVarLikeScope.bind_existings(0 8$$%r!ct|tr |jn|}|sJ||jvr|j|S|j|jj |SyrE)r<rr'rr get_binding)ritemr's rrHzTypeVarLikeScope.get_bindingsZ$.t_$E4==4x tzz !::h' ' [[ $;;**84 4r!cdjd|jjD}|j|S|jd|S)Nz, c3^K|]%\}}|d|jd|j'yw)z: `N)r2r3).0kvs r z+TypeVarLikeScope.__str__..s-N41a!Bqvvhav.Ns+-z <- )joinritemsr)rmes r__str__zTypeVarLikeScope.__str__sG YYN4::;K;K;MN N ;; I++d2$''r!)NFN) rTypeVarLikeScope | NonerboolrrVrstrreturnNone)rYrV)r'rXrYrW)rrXrYr)rYr) r2rXr>r r?rr@rrYr)rBrrYrZ)rIzstr | SymbolTableNoderYzTypeVarLikeType | None)rYrX)__name__ __module__ __qualname____doc__r r$r&r+r-r0rCrFrHrTr!rrrs+/$.2 ,',,, ,  ,  ,4H\' 00$30@H0SZ0 0d1(r!r) __future__rcollections.abcrtypingrr mypy.nodesrrrr r r mypy.typesr r rrrrrXr__annotations__rr_r!rrfsH"$* g 45*5@(@(r!