Skip to content

Commit e03f307

Browse files
JelleZijlstraJelleZijlstra
committed
zuban too
1 parent dc3c31e commit e03f307

File tree

1 file changed

+139
-0
lines changed

1 file changed

+139
-0
lines changed

‎conformance/results/zuban/typeddicts_extra_items.toml‎

Lines changed: 139 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,139 @@
1+
conformant = "Fail"
2+
notes = """
3+
Not supported.
4+
"""
5+
conformance_automated = "Fail"
6+
errors_diff = """
7+
Line 22: Expected 1 errors
8+
Line 181: Expected 1 errors
9+
Line 184: Expected 1 errors
10+
Line 206: Expected 1 errors
11+
Line 213: Expected 1 errors
12+
Line 233: Expected 1 errors
13+
Line 247: Expected 1 errors
14+
Line 248: Expected 1 errors
15+
Line 259: Expected 1 errors
16+
Lines 91, 92: Expected error (tag 'MovieC')
17+
Lines 94, 95: Expected error (tag 'MovieD')
18+
Line 11: Unexpected errors ['typeddicts_extra_items.py:11: error: Unexpected keyword argument "extra_items" for TypedDict']
19+
Line 14: Unexpected errors ['typeddicts_extra_items.py:14: error: Extra key "novel_adaptation" for TypedDict "Movie"']
20+
Line 19: Unexpected errors ['typeddicts_extra_items.py:19: error: Unexpected keyword argument "extra_items" for "TypedDict"']
21+
Line 29: Unexpected errors ['typeddicts_extra_items.py:29: error: Expression is of type "Any", not "bool"', 'typeddicts_extra_items.py:29: error: TypedDict "Movie" has no key "novel_adaptation"']
22+
Line 33: Unexpected errors ['typeddicts_extra_items.py:33: error: Unexpected keyword argument "extra_items" for TypedDict']
23+
Line 40: Unexpected errors ['typeddicts_extra_items.py:40: error: Extra key "other_extra_key" for TypedDict "InheritedMovie"']
24+
Line 55: Unexpected errors ['typeddicts_extra_items.py:55: error: Unexpected keyword argument "closed" for TypedDict']
25+
Line 64: Unexpected errors ['typeddicts_extra_items.py:64: error: Unexpected keyword argument "closed" for TypedDict']
26+
Line 70: Unexpected errors ['typeddicts_extra_items.py:70: error: Unexpected keyword argument "extra_items" for TypedDict']
27+
Line 82: Unexpected errors ['typeddicts_extra_items.py:82: error: Unexpected keyword argument "closed" for TypedDict']
28+
Line 88: Unexpected errors ['typeddicts_extra_items.py:88: error: Unexpected keyword argument "closed" for TypedDict']
29+
Line 100: Unexpected errors ['typeddicts_extra_items.py:100: error: Unexpected keyword argument "extra_items" for TypedDict']
30+
Line 103: Unexpected errors ['typeddicts_extra_items.py:103: error: Unexpected keyword argument "closed" for TypedDict']
31+
Line 106: Unexpected errors ['typeddicts_extra_items.py:106: error: Unexpected keyword argument "extra_items" for TypedDict']
32+
Line 121: Unexpected errors ['typeddicts_extra_items.py:121: error: Unexpected keyword argument "extra_items" for TypedDict']
33+
Line 126: Unexpected errors ['typeddicts_extra_items.py:126: error: TypedDict "MovieEI" has no key "year"']
34+
Line 134: Unexpected errors ['typeddicts_extra_items.py:134: error: Unexpected keyword argument "extra_items" for TypedDict']
35+
Line 141: Unexpected errors ['typeddicts_extra_items.py:141: error: Unexpected keyword argument "year" for "unpack_extra"']
36+
Line 146: Unexpected errors ['typeddicts_extra_items.py:146: error: Unexpected keyword argument "extra_items" for TypedDict']
37+
Line 149: Unexpected errors ['typeddicts_extra_items.py:149: error: Unexpected keyword argument "extra_items" for TypedDict']
38+
Line 152: Unexpected errors ['typeddicts_extra_items.py:152: error: Unexpected keyword argument "extra_items" for TypedDict']
39+
Line 162: Unexpected errors ['typeddicts_extra_items.py:162: error: Unexpected keyword argument "extra_items" for TypedDict']
40+
Line 168: Unexpected errors ['typeddicts_extra_items.py:168: error: Unexpected keyword argument "extra_items" for TypedDict']
41+
Line 178: Unexpected errors ['typeddicts_extra_items.py:178: error: Unexpected keyword argument "extra_items" for TypedDict']
42+
Line 201: Unexpected errors ['typeddicts_extra_items.py:201: error: Unexpected keyword argument "extra_items" for TypedDict']
43+
Line 208: Unexpected errors ['typeddicts_extra_items.py:208: error: Unexpected keyword argument "extra_items" for TypedDict']
44+
Line 219: Unexpected errors ['typeddicts_extra_items.py:219: error: Unexpected keyword argument "extra_items" for TypedDict']
45+
Line 222: Unexpected errors ['typeddicts_extra_items.py:222: error: Unexpected keyword argument "extra_items" for TypedDict']
46+
Line 226: Unexpected errors ['typeddicts_extra_items.py:226: error: Unexpected keyword argument "extra_items" for TypedDict']
47+
Line 239: Unexpected errors ['typeddicts_extra_items.py:239: error: Unexpected keyword argument "extra_items" for TypedDict']
48+
Line 242: Unexpected errors ['typeddicts_extra_items.py:242: error: Unexpected keyword argument "extra_items" for TypedDict']
49+
Line 245: Unexpected errors ['typeddicts_extra_items.py:245: error: Extra key "year" for TypedDict "MovieExtraInt"']
50+
Line 246: Unexpected errors ['typeddicts_extra_items.py:246: error: Extra key "description" for TypedDict "MovieExtraStr"']
51+
Line 257: Unexpected errors ['typeddicts_extra_items.py:257: error: Extra key "year" for TypedDict "MovieExtraInt"']
52+
Line 271: Unexpected errors ['typeddicts_extra_items.py:271: error: Unexpected keyword argument "extra_items" for TypedDict']
53+
Line 275: Unexpected errors ['typeddicts_extra_items.py:275: error: Extra key "year" for TypedDict "ExtraMovie"']
54+
Line 280: Unexpected errors ['typeddicts_extra_items.py:280: error: Unexpected keyword argument "closed" for TypedDict']
55+
Line 290: Unexpected errors ['typeddicts_extra_items.py:290: error: Extra key "summary" for TypedDict "MovieExtraStr"']
56+
Line 291: Unexpected errors ['typeddicts_extra_items.py:291: error: Incompatible types in assignment (expression has type "MovieExtraStr", variable has type "Mapping[str, str]")']
57+
Line 293: Unexpected errors ['typeddicts_extra_items.py:293: error: Extra key "year" for TypedDict "MovieExtraInt"']
58+
Line 295: Unexpected errors ['typeddicts_extra_items.py:295: error: Incompatible types in assignment (expression has type "MovieExtraInt", variable has type "Mapping[str, int | str]")']
59+
Line 301: Unexpected errors ['typeddicts_extra_items.py:301: error: Expression is of type "list[tuple[str, object]]", not "list[tuple[str, int | str]]"']
60+
Line 302: Unexpected errors ['typeddicts_extra_items.py:302: error: Expression is of type "list[object]", not "list[int | str]"']
61+
Line 310: Unexpected errors ['typeddicts_extra_items.py:310: error: Unexpected keyword argument "extra_items" for TypedDict']
62+
Line 317: Unexpected errors ['typeddicts_extra_items.py:317: error: Incompatible types in assignment (expression has type "IntDict", variable has type "dict[str, int]")']
63+
Line 320: Unexpected errors ['typeddicts_extra_items.py:320: error: Extra key "bar" for TypedDict "IntDictWithNum"']
64+
Line 321: Unexpected errors ['typeddicts_extra_items.py:321: error: Incompatible types in assignment (expression has type "IntDictWithNum", variable has type "dict[str, int]")']
65+
Line 328: Unexpected errors ['typeddicts_extra_items.py:328: error: "IntDictWithNum" has no attribute "clear"']
66+
Line 330: Unexpected errors ['typeddicts_extra_items.py:330: error: Expression is of type "Any", not "tuple[str, int]"', 'typeddicts_extra_items.py:330: error: "IntDictWithNum" has no attribute "popitem"']
67+
Line 333: Unexpected errors ['typeddicts_extra_items.py:333: error: TypedDict key must be a string literal; expected one of ("num")']
68+
Line 334: Unexpected errors ['typeddicts_extra_items.py:334: error: Expected TypedDict key to be string literal']
69+
"""
70+
output = """
71+
typeddicts_extra_items.py:11: error: Unexpected keyword argument "extra_items" for TypedDict
72+
typeddicts_extra_items.py:14: error: Extra key "novel_adaptation" for TypedDict "Movie"
73+
typeddicts_extra_items.py:15: error: Extra key "year" for TypedDict "Movie"
74+
typeddicts_extra_items.py:19: error: Unexpected keyword argument "extra_items" for "TypedDict"
75+
typeddicts_extra_items.py:29: error: Expression is of type "Any", not "bool"
76+
typeddicts_extra_items.py:29: error: TypedDict "Movie" has no key "novel_adaptation"
77+
typeddicts_extra_items.py:33: error: Unexpected keyword argument "extra_items" for TypedDict
78+
typeddicts_extra_items.py:39: error: Incompatible types (expression has type "None", TypedDict item "year" has type "int")
79+
typeddicts_extra_items.py:40: error: Extra key "other_extra_key" for TypedDict "InheritedMovie"
80+
typeddicts_extra_items.py:49: error: Unexpected keyword argument "closed" for TypedDict
81+
typeddicts_extra_items.py:55: error: Unexpected keyword argument "closed" for TypedDict
82+
typeddicts_extra_items.py:64: error: Unexpected keyword argument "closed" for TypedDict
83+
typeddicts_extra_items.py:67: error: Unexpected keyword argument "closed" for TypedDict
84+
typeddicts_extra_items.py:70: error: Unexpected keyword argument "extra_items" for TypedDict
85+
typeddicts_extra_items.py:73: error: Unexpected keyword argument "closed" for TypedDict
86+
typeddicts_extra_items.py:82: error: Unexpected keyword argument "closed" for TypedDict
87+
typeddicts_extra_items.py:88: error: Unexpected keyword argument "closed" for TypedDict
88+
typeddicts_extra_items.py:100: error: Unexpected keyword argument "extra_items" for TypedDict
89+
typeddicts_extra_items.py:103: error: Unexpected keyword argument "closed" for TypedDict
90+
typeddicts_extra_items.py:106: error: Unexpected keyword argument "extra_items" for TypedDict
91+
typeddicts_extra_items.py:111: error: Unexpected keyword argument "extra_items" for TypedDict
92+
typeddicts_extra_items.py:114: error: Unexpected keyword argument "extra_items" for TypedDict
93+
typeddicts_extra_items.py:121: error: Unexpected keyword argument "extra_items" for TypedDict
94+
typeddicts_extra_items.py:125: error: Key "name" of TypedDict "MovieEI" cannot be deleted
95+
typeddicts_extra_items.py:126: error: TypedDict "MovieEI" has no key "year"
96+
typeddicts_extra_items.py:134: error: Unexpected keyword argument "extra_items" for TypedDict
97+
typeddicts_extra_items.py:140: error: Unexpected keyword argument "year" for "unpack_no_extra"
98+
typeddicts_extra_items.py:141: error: Unexpected keyword argument "year" for "unpack_extra"
99+
typeddicts_extra_items.py:146: error: Unexpected keyword argument "extra_items" for TypedDict
100+
typeddicts_extra_items.py:149: error: Unexpected keyword argument "extra_items" for TypedDict
101+
typeddicts_extra_items.py:152: error: Unexpected keyword argument "extra_items" for TypedDict
102+
typeddicts_extra_items.py:162: error: Unexpected keyword argument "extra_items" for TypedDict
103+
typeddicts_extra_items.py:168: error: Unexpected keyword argument "extra_items" for TypedDict
104+
typeddicts_extra_items.py:171: error: Unexpected keyword argument "extra_items" for TypedDict
105+
typeddicts_extra_items.py:178: error: Unexpected keyword argument "extra_items" for TypedDict
106+
typeddicts_extra_items.py:201: error: Unexpected keyword argument "extra_items" for TypedDict
107+
typeddicts_extra_items.py:208: error: Unexpected keyword argument "extra_items" for TypedDict
108+
typeddicts_extra_items.py:219: error: Unexpected keyword argument "extra_items" for TypedDict
109+
typeddicts_extra_items.py:222: error: Unexpected keyword argument "extra_items" for TypedDict
110+
typeddicts_extra_items.py:226: error: Unexpected keyword argument "extra_items" for TypedDict
111+
typeddicts_extra_items.py:239: error: Unexpected keyword argument "extra_items" for TypedDict
112+
typeddicts_extra_items.py:242: error: Unexpected keyword argument "extra_items" for TypedDict
113+
typeddicts_extra_items.py:245: error: Extra key "year" for TypedDict "MovieExtraInt"
114+
typeddicts_extra_items.py:246: error: Extra key "description" for TypedDict "MovieExtraStr"
115+
typeddicts_extra_items.py:257: error: Extra key "year" for TypedDict "MovieExtraInt"
116+
typeddicts_extra_items.py:269: error: Extra key "year" for TypedDict "NonClosedMovie"
117+
typeddicts_extra_items.py:271: error: Unexpected keyword argument "extra_items" for TypedDict
118+
typeddicts_extra_items.py:275: error: Extra key "year" for TypedDict "ExtraMovie"
119+
typeddicts_extra_items.py:276: error: Extra key "language" for TypedDict "ExtraMovie"
120+
typeddicts_extra_items.py:280: error: Unexpected keyword argument "closed" for TypedDict
121+
typeddicts_extra_items.py:284: error: Extra key "year" for TypedDict "ClosedMovie"
122+
typeddicts_extra_items.py:290: error: Extra key "summary" for TypedDict "MovieExtraStr"
123+
typeddicts_extra_items.py:291: error: Incompatible types in assignment (expression has type "MovieExtraStr", variable has type "Mapping[str, str]")
124+
typeddicts_extra_items.py:293: error: Extra key "year" for TypedDict "MovieExtraInt"
125+
typeddicts_extra_items.py:294: error: Incompatible types in assignment (expression has type "MovieExtraInt", variable has type "Mapping[str, int]")
126+
typeddicts_extra_items.py:295: error: Incompatible types in assignment (expression has type "MovieExtraInt", variable has type "Mapping[str, int | str]")
127+
typeddicts_extra_items.py:301: error: Expression is of type "list[tuple[str, object]]", not "list[tuple[str, int | str]]"
128+
typeddicts_extra_items.py:302: error: Expression is of type "list[object]", not "list[int | str]"
129+
typeddicts_extra_items.py:310: error: Unexpected keyword argument "extra_items" for TypedDict
130+
typeddicts_extra_items.py:317: error: Incompatible types in assignment (expression has type "IntDict", variable has type "dict[str, int]")
131+
typeddicts_extra_items.py:320: error: Extra key "bar" for TypedDict "IntDictWithNum"
132+
typeddicts_extra_items.py:321: error: Incompatible types in assignment (expression has type "IntDictWithNum", variable has type "dict[str, int]")
133+
typeddicts_extra_items.py:328: error: "IntDictWithNum" has no attribute "clear"
134+
typeddicts_extra_items.py:330: error: Expression is of type "Any", not "tuple[str, int]"
135+
typeddicts_extra_items.py:330: error: "IntDictWithNum" has no attribute "popitem"
136+
typeddicts_extra_items.py:333: error: TypedDict key must be a string literal; expected one of ("num")
137+
typeddicts_extra_items.py:334: error: Expected TypedDict key to be string literal
138+
typeddicts_extra_items.py:343: error: Incompatible types in assignment (expression has type "dict[str, int]", variable has type "IntDict")
139+
"""

0 commit comments

Comments
 (0)