diff --git a/examples/acceptance_tests/106/lib/tests.ak b/examples/acceptance_tests/106/lib/tests.ak index 8e3b67de..0198cd4e 100644 --- a/examples/acceptance_tests/106/lib/tests.ak +++ b/examples/acceptance_tests/106/lib/tests.ak @@ -60,3 +60,20 @@ test soft_casting_6() { True } } + +type A { + A(Bool) +} + +type B { + B(Int) +} + +test soft_casting_7() { + let data: Data = A(True) + if data is B(_): B { + False + } else { + True + } +}