Fix #696

1 files changed, 8 insertions, 0 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index c33fb4a72..80ff37698 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -9339,6 +9339,14 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 			first_arg_name = str_lit("_");
 		}
 
+		if (first_type == nullptr) {
+			error(se->call, "Selector call expressions expect a procedure type for the call with at least 1 parameter");
+			o->mode = Addressing_Invalid;
+			o->type = t_invalid;
+			o->expr = node;
+			return Expr_Stmt;
+		}
+
 		Operand y = {};
 		y.mode = first_arg->tav.mode;
 		y.type = first_arg->tav.type;