From 33fcf676128426f2ac9a4730d63fa481bb351518 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Sun, 18 Aug 2024 00:07:56 +0300 Subject: make check works again --- tests/defer_shadow/defer_shadow.ek | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tests/defer_shadow/defer_shadow.ek (limited to 'tests/defer_shadow/defer_shadow.ek') diff --git a/tests/defer_shadow/defer_shadow.ek b/tests/defer_shadow/defer_shadow.ek new file mode 100644 index 0000000..0e890a2 --- /dev/null +++ b/tests/defer_shadow/defer_shadow.ek @@ -0,0 +1,28 @@ +typedef i9 {} +typedef i27 {} + +define any[] {} + +extern _putchar(i9 c); + +typedef some_struct[any T] { + test() + { + i9 a = 'a' as i9; + { + /* at this point, only a is defined */ + defer _putchar(a); + + /* a gets shadowed */ + i9 a = 'b' as i9; + + /* defer should still point to the outer 'a' */ + } + } +} + +main() +{ + some_struct![i9] test = some_struct![i9]{}; + test.test(); +} -- cgit v1.3