~sircmpwn/harec

487024199bdafafe23d089235f845d9100c8c08e — Sebastian 2 months ago dfbe788
check: yield never when propagating only error types

Signed-off-by: Sebastian <sebastian@sebsite.pw>
1 files changed, 1 insertions(+), 1 deletions(-)

M src/check.c
M src/check.c => src/check.c +1 -1
@@ 2435,7 2435,7 @@ check_expr_propagate(struct context *ctx,

	const struct type *result_type;
	if (!result_tagged.type) {
		result_type = &builtin_type_void;
		result_type = &builtin_type_never;
	} else if (result_tagged.next) {
		result_type = type_store_lookup_tagged(
			ctx->store, aexpr->loc, &result_tagged);