Update integration tests

youtype · Aug 14, 2024 · 6b07057 · 6b07057
1 parent bee103b
commit 6b07057
Show file tree

Hide file tree

Showing 4 changed files with 34 additions and 2 deletions.
diff --git a/aio_examples/mypy/s3_example.py.out b/aio_examples/mypy/s3_example.py.out
@@ -9,6 +9,7 @@ aio_examples/s3_example.py:46: error: Missing key "Key" for TypedDict "CopySourc
 aio_examples/s3_example.py:46: error: Extra key "key" for TypedDict "CopySourceTypeDef"  [typeddict-unknown-key]
 aio_examples/s3_example.py:54: error: Argument "CopySource" to "copy_from" of "ObjectSummary" has incompatible type "int"; expected "str | CopySourceTypeDef"  [arg-type]
 aio_examples/s3_example.py:58: error: Argument "RequestPayer" to "abort" of "MultipartUpload" has incompatible type "Literal['none']"; expected "Literal['requester']"  [arg-type]
+aio_examples/s3_example.py:59: error: Argument 1 to "Part" of "MultipartUpload" has incompatible type "str"; expected "int"  [arg-type]
 aio_examples/s3_example.py:60: error: Unexpected keyword argument "wrong_arg" for "delete" of "Bucket"  [call-arg]
 aio_examples/s3_example.py:60: error: Value of type "Coroutine[Any, Any, None]" must be used  [unused-coroutine]
 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
 aio_examples/s3_example.py:106: error: "BotocoreClientError" has no attribute "operations_name"; maybe "operation_name"?  [attr-defined]
 aio_examples/s3_example.py:110: error: Value of type "Coroutine[Any, Any, Iterator[bytes]]" must be used  [unused-coroutine]
 aio_examples/s3_example.py:110: note: Are you missing an await?
-Found 23 errors in 1 file (checked 1 source file)
+Found 24 errors in 1 file (checked 1 source file)
diff --git a/aio_examples/pyright/s3_example.py.json b/aio_examples/pyright/s3_example.py.json
@@ -119,6 +119,21 @@
         },
         "rule": "reportArgumentType"
     },
+    {
+        "severity": "error",
+        "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\"",
+        "range": {
+            "start": {
+                "line": 58,
+                "character": 44
+            },
+            "end": {
+                "line": 58,
+                "character": 47
+            }
+        },
+        "rule": "reportArgumentType"
+    },
     {
         "severity": "error",
         "message": "No parameter named \"wrong_arg\"",

diff --git a/examples/mypy/s3_example.py.out b/examples/mypy/s3_example.py.out
@@ -6,6 +6,7 @@ examples/s3_example.py:45: error: Missing key "Key" for TypedDict "CopySourceTyp
 examples/s3_example.py:45: error: Extra key "key" for TypedDict "CopySourceTypeDef"  [typeddict-unknown-key]
 examples/s3_example.py:53: error: Argument "CopySource" to "copy_from" of "ObjectSummary" has incompatible type "int"; expected "str | CopySourceTypeDef"  [arg-type]
 examples/s3_example.py:57: error: Argument "RequestPayer" to "abort" of "MultipartUpload" has incompatible type "Literal['none']"; expected "Literal['requester']"  [arg-type]
+examples/s3_example.py:58: error: Argument 1 to "Part" of "MultipartUpload" has incompatible type "str"; expected "int"  [arg-type]
 examples/s3_example.py:59: error: Unexpected keyword argument "wrong_arg" for "delete" of "Bucket"  [call-arg]
 examples/s3_example.py:71: error: Argument 3 to "download_fileobj" of "S3Client" has incompatible type "bytes"; expected "IO[Any] | StreamingBody"  [arg-type]
 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
 examples/s3_example.py:92: error: Extra key "Allowedorigins" for TypedDict "CORSRuleTypeDef"  [typeddict-unknown-key]
 examples/s3_example.py:99: error: Argument "Key" to "get_object" of "S3Client" has incompatible type "None"; expected "str"  [arg-type]
 examples/s3_example.py:101: error: "BotocoreClientError" has no attribute "operations_name"; maybe "operation_name"?  [attr-defined]
-Found 18 errors in 1 file (checked 1 source file)
+Found 19 errors in 1 file (checked 1 source file)
diff --git a/examples/pyright/s3_example.py.json b/examples/pyright/s3_example.py.json
@@ -89,6 +89,21 @@
         },
         "rule": "reportArgumentType"
     },
+    {
+        "severity": "error",
+        "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\"",
+        "range": {
+            "start": {
+                "line": 57,
+                "character": 34
+            },
+            "end": {
+                "line": 57,
+                "character": 37
+            }
+        },
+        "rule": "reportArgumentType"
+    },
     {
         "severity": "error",
         "message": "No parameter named \"wrong_arg\"",