diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:35:53 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:35:53 +0330 |
| commit | 6cca028ab8d2f87e7005b8760afde0a8a71a023b (patch) | |
| tree | 6bf1aa84621374d0ba0bf95a12e0097aeb326688 /tests/conformance/5-declarations | |
| parent | merge bounds checking (diff) | |
| parent | todo: zc0 gaps done (diff) | |
merge work/xref: zc0 gaps a-f
Diffstat (limited to 'tests/conformance/5-declarations')
| -rw-r--r-- | tests/conformance/5-declarations/fn_param_tag_u_rejected.zc | 6 |
1 files changed, 6 insertions, 0 deletions
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 |