From 45b53ef93135b240989d88b065f7ee7f12a95bfb Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 16:14:01 +0330 Subject: zc0: reject .u on a typed parameter with the compiler's message --- tests/conformance/5-declarations/fn_param_tag_u_rejected.zc | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/conformance/5-declarations/fn_param_tag_u_rejected.zc (limited to 'tests/conformance/5-declarations') diff --git a/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc b/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc new file mode 100644 index 0000000..858e142 --- /dev/null +++ b/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc @@ -0,0 +1,6 @@ +// expect error: a parameter tag is .m or .d +// spec: .u tags a return, never a parameter (zc0 used to accept int.u x silently) +include rt; +int f(int* .u x) { return 0; } +fn main() { return f(0); } +// zc0: error -- cgit v1.2.3