Skip to content

Commit 6b07057

Browse files
committed
Update integration tests
1 parent bee103b commit 6b07057

File tree

4 files changed

+34
-2
lines changed

4 files changed

+34
-2
lines changed

aio_examples/mypy/s3_example.py.out

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ aio_examples/s3_example.py:46: error: Missing key "Key" for TypedDict "CopySourc
99
aio_examples/s3_example.py:46: error: Extra key "key" for TypedDict "CopySourceTypeDef" [typeddict-unknown-key]
1010
aio_examples/s3_example.py:54: error: Argument "CopySource" to "copy_from" of "ObjectSummary" has incompatible type "int"; expected "str | CopySourceTypeDef" [arg-type]
1111
aio_examples/s3_example.py:58: error: Argument "RequestPayer" to "abort" of "MultipartUpload" has incompatible type "Literal['none']"; expected "Literal['requester']" [arg-type]
12+
aio_examples/s3_example.py:59: error: Argument 1 to "Part" of "MultipartUpload" has incompatible type "str"; expected "int" [arg-type]
1213
aio_examples/s3_example.py:60: error: Unexpected keyword argument "wrong_arg" for "delete" of "Bucket" [call-arg]
1314
aio_examples/s3_example.py:60: error: Value of type "Coroutine[Any, Any, None]" must be used [unused-coroutine]
1415
aio_examples/s3_example.py:60: note: Are you missing an await?
@@ -26,4 +27,4 @@ aio_examples/s3_example.py:104: error: Argument "Key" to "get_object" of "S3Clie
2627
aio_examples/s3_example.py:106: error: "BotocoreClientError" has no attribute "operations_name"; maybe "operation_name"? [attr-defined]
2728
aio_examples/s3_example.py:110: error: Value of type "Coroutine[Any, Any, Iterator[bytes]]" must be used [unused-coroutine]
2829
aio_examples/s3_example.py:110: note: Are you missing an await?
29-
Found 23 errors in 1 file (checked 1 source file)
30+
Found 24 errors in 1 file (checked 1 source file)

aio_examples/pyright/s3_example.py.json

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,21 @@
119119
},
120120
"rule": "reportArgumentType"
121121
},
122+
{
123+
"severity": "error",
124+
"message": "Argument of type \"Literal['1']\" cannot be assigned to parameter \"part_number\" of type \"int\" in function \"Part\"\n\u00a0\u00a0\"Literal['1']\" is incompatible with \"int\"",
125+
"range": {
126+
"start": {
127+
"line": 58,
128+
"character": 44
129+
},
130+
"end": {
131+
"line": 58,
132+
"character": 47
133+
}
134+
},
135+
"rule": "reportArgumentType"
136+
},
122137
{
123138
"severity": "error",
124139
"message": "No parameter named \"wrong_arg\"",

examples/mypy/s3_example.py.out

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ examples/s3_example.py:45: error: Missing key "Key" for TypedDict "CopySourceTyp
66
examples/s3_example.py:45: error: Extra key "key" for TypedDict "CopySourceTypeDef" [typeddict-unknown-key]
77
examples/s3_example.py:53: error: Argument "CopySource" to "copy_from" of "ObjectSummary" has incompatible type "int"; expected "str | CopySourceTypeDef" [arg-type]
88
examples/s3_example.py:57: error: Argument "RequestPayer" to "abort" of "MultipartUpload" has incompatible type "Literal['none']"; expected "Literal['requester']" [arg-type]
9+
examples/s3_example.py:58: error: Argument 1 to "Part" of "MultipartUpload" has incompatible type "str"; expected "int" [arg-type]
910
examples/s3_example.py:59: error: Unexpected keyword argument "wrong_arg" for "delete" of "Bucket" [call-arg]
1011
examples/s3_example.py:71: error: Argument 3 to "download_fileobj" of "S3Client" has incompatible type "bytes"; expected "IO[Any] | StreamingBody" [arg-type]
1112
examples/s3_example.py:72: error: Argument "IfModifiedSince" to "get_object" of "S3Client" has incompatible type "None"; expected "datetime | str" [arg-type]
@@ -17,4 +18,4 @@ examples/s3_example.py:92: error: Missing key "AllowedOrigins" for TypedDict "CO
1718
examples/s3_example.py:92: error: Extra key "Allowedorigins" for TypedDict "CORSRuleTypeDef" [typeddict-unknown-key]
1819
examples/s3_example.py:99: error: Argument "Key" to "get_object" of "S3Client" has incompatible type "None"; expected "str" [arg-type]
1920
examples/s3_example.py:101: error: "BotocoreClientError" has no attribute "operations_name"; maybe "operation_name"? [attr-defined]
20-
Found 18 errors in 1 file (checked 1 source file)
21+
Found 19 errors in 1 file (checked 1 source file)

examples/pyright/s3_example.py.json

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,21 @@
8989
},
9090
"rule": "reportArgumentType"
9191
},
92+
{
93+
"severity": "error",
94+
"message": "Argument of type \"Literal['1']\" cannot be assigned to parameter \"part_number\" of type \"int\" in function \"Part\"\n\u00a0\u00a0\"Literal['1']\" is incompatible with \"int\"",
95+
"range": {
96+
"start": {
97+
"line": 57,
98+
"character": 34
99+
},
100+
"end": {
101+
"line": 57,
102+
"character": 37
103+
}
104+
},
105+
"rule": "reportArgumentType"
106+
},
92107
{
93108
"severity": "error",
94109
"message": "No parameter named \"wrong_arg\"",

0 commit comments

Comments
 (0)