From 9ea54afd12d209eec050fc595bcbe0a19495dab6 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sat, 27 Jul 2024 09:27:38 +0200 Subject: [PATCH] Add on more example illustrating if/is issue. --- examples/acceptance_tests/106/lib/tests.ak | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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 + } +}