harec

commit f5f439ac7839b1cb75ddd4e05ac111113c38e2fc
parent c2e039cbcf08647b105e5bfd07fbc16e063b5424
Author: Bor Grošelj Simić <bor.groseljsimic@telemach.net>
Date:   Sat, 27 Feb 2021 03:31:55 +0100

check: forbid error propagation with non-tagged types

Diffstat:
M
src/check.c
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/check.c b/src/check.c
@@ -1588,7 +1588,7 @@ check_expr_propagate(struct context *ctx,
 
 	const struct type *intype = lvalue->result;
 	expect(&aexpr->loc,
-		type_dealias(intype)->storage,
+		type_dealias(intype)->storage == STORAGE_TAGGED,
 		"Cannot use error propagation with non-tagged type");
 
 	struct type_tagged_union result_tagged = {0};