diff --git a/aio_examples/mypy/s3_example.py.out b/aio_examples/mypy/s3_example.py.out index 2b15df6e..a218a9c0 100644 --- 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) \ No newline at end of file +Found 24 errors in 1 file (checked 1 source file) \ No newline at end of file diff --git a/aio_examples/pyright/s3_example.py.json b/aio_examples/pyright/s3_example.py.json index 03c0a258..84de9192 100644 --- 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 index 824149ad..e74e4780 100644 --- 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) \ No newline at end of file +Found 19 errors in 1 file (checked 1 source file) \ No newline at end of file diff --git a/examples/pyright/s3_example.py.json b/examples/pyright/s3_example.py.json index 0227ec66..05b60f5b 100644 --- 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\"",