@@ -58,8 +58,8 @@ def test_unpack_homogenous_tuple(self) -> None:
58
58
SUPERTYPE_OF ,
59
59
)
60
60
) == {
61
- Constraint (type_var = fx .t . id , op = SUPERTYPE_OF , target = fx .a ),
62
- Constraint (type_var = fx .t . id , op = SUPERTYPE_OF , target = fx .b ),
61
+ Constraint (type_var = fx .t , op = SUPERTYPE_OF , target = fx .a ),
62
+ Constraint (type_var = fx .t , op = SUPERTYPE_OF , target = fx .b ),
63
63
}
64
64
65
65
def test_unpack_homogenous_tuple_with_prefix_and_suffix (self ) -> None :
@@ -71,10 +71,10 @@ def test_unpack_homogenous_tuple_with_prefix_and_suffix(self) -> None:
71
71
SUPERTYPE_OF ,
72
72
)
73
73
) == {
74
- Constraint (type_var = fx .t . id , op = SUPERTYPE_OF , target = fx .a ),
75
- Constraint (type_var = fx .s . id , op = SUPERTYPE_OF , target = fx .b ),
76
- Constraint (type_var = fx .s . id , op = SUPERTYPE_OF , target = fx .c ),
77
- Constraint (type_var = fx .u . id , op = SUPERTYPE_OF , target = fx .d ),
74
+ Constraint (type_var = fx .t , op = SUPERTYPE_OF , target = fx .a ),
75
+ Constraint (type_var = fx .s , op = SUPERTYPE_OF , target = fx .b ),
76
+ Constraint (type_var = fx .s , op = SUPERTYPE_OF , target = fx .c ),
77
+ Constraint (type_var = fx .u , op = SUPERTYPE_OF , target = fx .d ),
78
78
}
79
79
80
80
def test_unpack_tuple (self ) -> None :
@@ -93,8 +93,8 @@ def test_unpack_tuple(self) -> None:
93
93
SUPERTYPE_OF ,
94
94
)
95
95
) == {
96
- Constraint (type_var = fx .t . id , op = SUPERTYPE_OF , target = fx .a ),
97
- Constraint (type_var = fx .s . id , op = SUPERTYPE_OF , target = fx .b ),
96
+ Constraint (type_var = fx .t , op = SUPERTYPE_OF , target = fx .a ),
97
+ Constraint (type_var = fx .s , op = SUPERTYPE_OF , target = fx .b ),
98
98
}
99
99
100
100
def test_unpack_with_prefix_and_suffix (self ) -> None :
@@ -115,10 +115,10 @@ def test_unpack_with_prefix_and_suffix(self) -> None:
115
115
SUPERTYPE_OF ,
116
116
)
117
117
) == {
118
- Constraint (type_var = fx .u . id , op = SUPERTYPE_OF , target = fx .a ),
119
- Constraint (type_var = fx .t . id , op = SUPERTYPE_OF , target = fx .b ),
120
- Constraint (type_var = fx .s . id , op = SUPERTYPE_OF , target = fx .c ),
121
- Constraint (type_var = fx .u . id , op = SUPERTYPE_OF , target = fx .d ),
118
+ Constraint (type_var = fx .u , op = SUPERTYPE_OF , target = fx .a ),
119
+ Constraint (type_var = fx .t , op = SUPERTYPE_OF , target = fx .b ),
120
+ Constraint (type_var = fx .s , op = SUPERTYPE_OF , target = fx .c ),
121
+ Constraint (type_var = fx .u , op = SUPERTYPE_OF , target = fx .d ),
122
122
}
123
123
124
124
def test_unpack_tuple_length_non_match (self ) -> None :
@@ -140,6 +140,6 @@ def test_unpack_tuple_length_non_match(self) -> None:
140
140
)
141
141
# We still get constraints on the prefix/suffix in this case.
142
142
) == {
143
- Constraint (type_var = fx .u . id , op = SUPERTYPE_OF , target = fx .a ),
144
- Constraint (type_var = fx .u . id , op = SUPERTYPE_OF , target = fx .d ),
143
+ Constraint (type_var = fx .u , op = SUPERTYPE_OF , target = fx .a ),
144
+ Constraint (type_var = fx .u , op = SUPERTYPE_OF , target = fx .d ),
145
145
}
0 commit comments