agent/spec-conformance: unmerged work from previous session

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/conformance/4-statements/decl_shadow_outer_block.zc b/tests/conformance/4-statements/decl_shadow_outer_block.zc
new file mode 100644
index 0000000..eaf1fca
--- /dev/null
+++ b/tests/conformance/4-statements/decl_shadow_outer_block.zc
@@ -0,0 +1,10 @@
+// expect: 2/1/
+// spec 4.1.6: a local may shadow a local of an outer block
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 1;
+	{ int a = 2; pn(a); }
+	pn(a);
+	return 0;
+}