fix(pyright)

closes #5895
This commit is contained in:
Jacob Heider 2024-04-17 09:06:45 -04:00
parent a3be2a7d05
commit 70b651a393
No known key found for this signature in database
GPG key ID: 51E3FD0EE62677B6

View file

@ -11,8 +11,7 @@ dependencies:
build:
dependencies:
npmjs.com: '*'
script:
npm i $ARGS .
script: npm i $ARGS .
env:
ARGS:
- -ddd
@ -32,7 +31,7 @@ test:
def wrong_types(a: int, b: int) -> str:
return a + b
extname: py
- cat out.log | grep 'Expression of type "int" cannot be assigned to return type "str"'
- cat out.log | grep -E 'Expression of type "int" (cannot be assigned to|is incompatible with) return type "str"'
- run: pyright $FIXTURE 2>&1 | grep '0 errors, 0 warnings, 0 informations'
fixture:
content: |