
    6 f                    r    d dl mZ d dlmZmZmZmZ d dlmZ d dl	m
Z
 d dlmZmZmZ  G d de          ZdS )	    )annotations)
SUBTYPE_OFSUPERTYPE_OF
Constraintinfer_constraints)Suite)TypeFixture)Instance	TupleType
UnpackTypec                  f    e Zd ZddZddZddZddZddZddZdd	Z	dd
Z
ddZddZddZdS )ConstraintsSuitereturnNonec                ,    t                      | _        d S N)r	   fxselfs    O/var/www/equiseq/venv/lib/python3.11/site-packages/mypy/test/testconstraints.pysetUpzConstraintsSuite.setUp
   s    --    c                ^    t          | j        j        | j        j        t                    rJ d S r   )r   r   or   r   s    r   test_no_type_variablesz'ConstraintsSuite.test_no_type_variables   s(    $TWY	:FFFFFFFr   c                    | j         }t          t          fD ]>}t          |j        |j        |          t          |j        ||j                  gk    sJ ?d S N)type_varoptarget)	r   r   r   r   gtgar   ta)r   r   	directions      r   test_basic_type_variablez)ConstraintsSuite.test_basic_type_variable   so    W$l3 	 	I$RUBE9==BDYrtDDDB     	 	r   c           	     J   | j         }t          t          |j        t	          |j                  g          t          |j        |j        |j        g          t                    t          |j        t          t          |j        |j        g|j                            gk    sJ d S r   )r   r   r
   gvir   tsr$   br   r   r   	std_tupler   r   s     r   !test_basic_type_var_tuple_subtypez2ConstraintsSuite.test_basic_type_var_tuple_subtype   s    W RVj//0118BFRT24L3Q3QS]
 
 *Ybd|UWUa=b=bccc

 
 
 
 
 
r   c           	     J   | j         }t          t          |j        t	          |j                  g          t          |j        |j        |j        g          t                    t          |j        t          t          |j        |j        g|j                            gk    sJ d S r   )r   r   r
   r(   r   r)   r$   r*   r   r   r   r+   r,   s     r   test_basic_type_var_tuplez*ConstraintsSuite.test_basic_type_var_tuple   s    W RVj//0118BFRT24L3Q3QS_
 
 <	24,PRP\8]8]  

 
 
 
 
 
r   c                   | j         }t          t          t          |j        |j        t          |j                  |j        g          t          |j        |j	        |j
        |j        |j        g          t                              t          |j        t          |j	                  t          |j        t          t          |j
        |j        g|j                            t          |j        t          |j                  hk    sJ d S r   )r   setr   r
   gv2ir#   r   r)   sr$   r*   cdr   r   r   r+   r,   s     r   *test_type_var_tuple_with_prefix_and_suffixz;ConstraintsSuite.test_type_var_tuple_with_prefix_and_suffix)   s    W24BE):):BD"ABB24rtRT":;; 
 
 bdCCC<	24,PRP\8]8]   bdCCC

 
 
 
 
 
r   c                   | j         }t          t          t          |j        t          t          |j        |j        g                    g          t          |j        |j        |j	        g          t                              t          |j        t          |j                  t          |j        t          |j	                  hk    sJ d S r   )r   r1   r   r
   r(   r   
std_tupleir#   r$   r*   r   r   r,   s     r   test_unpack_homogenous_tuplez-ConstraintsSuite.test_unpack_homogenous_tuple9   s    W*XbmbdV-L-L"M"M!NOO"$.. 
 
 bdCCCbdCCC
	
 	
 	
 	
 	
 	
r   c                H   | j         }t          t          t          |j        |j        t          t          |j        |j        g                    |j	        g          t          |j        |j
        |j        |j        |j        g          t                              t          |j        t          |j
                  t          |j        t          |j                  t          |j        t          |j                  t          |j	        t          |j                  hk    sJ d S r   )r   r1   r   r
   r2   r#   r   r8   r3   ur$   r*   r4   r5   r   r   r,   s     r   3test_unpack_homogenous_tuple_with_prefix_and_suffixzDConstraintsSuite.test_unpack_homogenous_tuple_with_prefix_and_suffixF   s    W24HR]RTF4S4S)T)TVXVZ"[\\24rtRT":;; 
 
 bdCCCbdCCCbdCCCbdCCC	

 
 
 
 
 
r   c                   | j         }t          t          t          |j        |j        |j        |j        |j        g          t          |j        |j        |j	        |j
        |j        g          t                              t          |j        t          |j                  t          |j        t          |j	                  t          |j        t          |j
                  t          |j        t          |j                  hk    sJ d S r   )r   r1   r   r
   r2   r;   r#   r3   r$   r*   r4   r5   r   r   r,   s     r   "test_unpack_with_prefix_and_suffixz3ConstraintsSuite.test_unpack_with_prefix_and_suffixU   s    W24rtRT":;;24rtRT":;; 
 
 bdCCCbdCCCbdCCCbdCCC	

 
 
 
 
 
r   c                   | j         }t          t          t          |j        |j        |j        |j        |j        g          t          |j        |j        |j	        |j
        g          t                              t          |j        t          |j                  t          |j        t          |j
                  hk    sJ d S r   )r   r1   r   r
   r2   r;   r#   r3   r$   r*   r5   r   r   r,   s     r   "test_unpack_tuple_length_non_matchz3ConstraintsSuite.test_unpack_tuple_length_non_matchd   s    W24rtRT":;;24rt"455 
 
 bdCCCbdCCC


 

 

 

 

 

r   c           	         | j         }t          t          |j        |j        gt          |j        |j        g                    t          |j        |j        g          t                    rJ d S )N)fallback)
r   r   r   r#   r3   r
   r8   r   r$   r   r,   s     r   -test_var_length_tuple_with_fixed_length_tuplez>ConstraintsSuite.test_var_length_tuple_with_fixed_length_tupler   sm    W$rtRTlXbmbdV-L-LMMMR]RTF++
 
 	
 	
 
 	
 	
r   N)r   r   )__name__
__module____qualname__r   r   r&   r-   r/   r6   r9   r<   r>   r@   rC    r   r   r   r   	   s               G G G G   
 
 
 

 
 
 

 
 
 
 
 
 
 

 
 
 

 
 
 

 
 
 

 
 
 
 
 
r   r   N)
__future__r   mypy.constraintsr   r   r   r   mypy.test.helpersr   mypy.test.typefixturer	   
mypy.typesr
   r   r   r   rG   r   r   <module>rM      s    " " " " " " T T T T T T T T T T T T # # # # # # - - - - - - 6 6 6 6 6 6 6 6 6 6o
 o
 o
 o
 o
u o
 o
 o
 o
 o
r   