Add multi-pointer types `[^]T`

1 files changed, 6 insertions, 0 deletions

diff --git a/src/check_type.cpp b/src/check_type.cpp
index 867b4d7b2..3541eef61 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -2525,6 +2525,12 @@ bool check_type_internal(CheckerContext *ctx, Ast *e, Type **type, Type *named_t
 		return true;
 	case_end;
 
+	case_ast_node(pt, MultiPointerType, e);
+		*type = alloc_type_multi_pointer(check_type(ctx, pt->type));
+		set_base_type(named_type, *type);
+		return true;
+	case_end;
+
 	case_ast_node(rt, RelativeType, e);
 		GB_ASSERT(rt->tag->kind == Ast_CallExpr);
 		ast_node(ce, CallExpr, rt->tag);