From ebbb70f11d0fdbe67a15976d2a1be1e2389493fa Mon Sep 17 00:00:00 2001 From: Jeroen van Rijn Date: Sat, 17 Aug 2024 17:12:27 +0200 Subject: [PATCH] Error if missing map key type Fixes #4096 --- src/check_type.cpp | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/check_type.cpp b/src/check_type.cpp index cbee1d2bd..83b6600c8 100644 --- a/src/check_type.cpp +++ b/src/check_type.cpp @@ -2741,6 +2741,18 @@ gb_internal void check_map_type(CheckerContext *ctx, Type *type, Ast *node) { GB_ASSERT(type->kind == Type_Map); ast_node(mt, MapType, node); + if (mt->key == NULL) { + if (mt->value != NULL) { + Type *value = check_type(ctx, mt->value); + gbString str = type_to_string(value); + error(node, "Missing map key type, got 'map[]%s'", str); + gb_string_free(str); + return; + } + error(node, "Missing map key type, got 'map[]T'"); + return; + } + Type *key = check_type(ctx, mt->key); Type *value = check_type(ctx, mt->value);