diff --git a/tests/test.rs b/tests/test.rs index 072639c..0892d38 100644 --- a/tests/test.rs +++ b/tests/test.rs @@ -142,6 +142,11 @@ fn exec_typevar() -> Result<(), String> { expect("tests/typevar.py", 0, 3) } +#[test] +fn exec_union() -> Result<(), String> { + expect("tests/union.py", 0, 0) +} + #[test] fn exec_widening() -> Result<(), String> { expect("tests/widening.py", 0, 1) diff --git a/tests/union.py b/tests/union.py new file mode 100644 index 0000000..5635ab4 --- /dev/null +++ b/tests/union.py @@ -0,0 +1,9 @@ +s: str | bytes = "" +s2 = s.capitalize() +s3 = s2.center(1) + +s4: str | bytes | bytearray = "" +_ = s4.__len__() + +def f(x: str | bytes): + return x.isalnum()