microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-09-11 16:06:39 +03:00
Code Issues Projects Releases Wiki Activity

Added test case for message form of assert.

Browse Source
This commit is contained in:
Eric Traut 2019-05-28 18:27:42 -07:00
parent 7269265c5b
commit 4614ea341c
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
server/src/tests/samples/typeConstraint3.py
View File

@ -2,9 +2,11 @@
from typing import Union
condition = True
def foo(a: Union[str, int]) -> int:
if True:
if condition:
# This should generate an error because
# a could be a str.
return a
@ -12,3 +14,9 @@ def foo(a: Union[str, int]) -> int:
assert isinstance(a, int)
return a
def foo(a: Union[str, int]) -> int:
# Test the form of "assert" that includes a message string.
assert isinstance(a, int), "Message"
return a