Skip to content

Commit

Permalink
Fix test for typed array (#230)
Browse files Browse the repository at this point in the history
  • Loading branch information
davidbrochart authored Feb 11, 2025
1 parent 0c1bd7a commit 9892726
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/test_types.py
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ def mypy_test_array():
array0 = doc.get("array0", type=Array)
array0.append(0)
array0.append("foo") # E: Argument 1 to "append" of "Array" has incompatible type "str"; expected "int" [arg-type]
doc.get("array1", type=Array[str]) # E: Argument "type" to "get" of "Doc" has incompatible type "type[pycrdt._array.Array[Any]]"; expected "type[pycrdt._array.Array[int]]"
doc.get("array1", type=Array[str]) # E: Argument "type" to "get" of "Doc" has incompatible type "type[pycrdt._array.Array[str]]"; expected "type[pycrdt._array.Array[int]]"


@pytest.mark.mypy_testing
Expand Down

0 comments on commit 9892726

Please sign in to comment.