aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/4-statements/stmt_u_result_thrown_away.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/conformance/4-statements/stmt_u_result_thrown_away.zc')
-rw-r--r--tests/conformance/4-statements/stmt_u_result_thrown_away.zc6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/stmt_u_result_thrown_away.zc b/tests/conformance/4-statements/stmt_u_result_thrown_away.zc
new file mode 100644
index 0000000..834dd96
--- /dev/null
+++ b/tests/conformance/4-statements/stmt_u_result_thrown_away.zc
@@ -0,0 +1,6 @@
+// expect error: a new object (or a u result) can't be thrown away
+// spec 4.2
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int*.u mk() { int*.u p = rt.new(int); return u*p; }
+fn main() { mk(); return 0; }