aboutsummaryrefslogtreecommitdiff
path: root/src/check_decl.cpp
diff options
context:
space:
mode:
authorAndreas T Jonsson <mail@andreasjonsson.se>2024-05-13 09:21:32 +0200
committerAndreas T Jonsson <mail@andreasjonsson.se>2024-05-13 09:21:32 +0200
commit5d82f0cad5e0500d577bb03e1c175716d4d8b995 (patch)
tree86b4662246c85cfa2a58ee22d101cc8ffc14df54 /src/check_decl.cpp
parentf428e30211c3113ac7c7918f9a0f5c03cc7b4669 (diff)
parent1183f4794b5bd3f1afddbb351c941a8a617a085f (diff)
Merge branch 'master' into netbsd
Diffstat (limited to 'src/check_decl.cpp')
-rw-r--r--src/check_decl.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/check_decl.cpp b/src/check_decl.cpp
index 441c8000d..1ec366ae7 100644
--- a/src/check_decl.cpp
+++ b/src/check_decl.cpp
@@ -1619,7 +1619,7 @@ gb_internal bool check_proc_body(CheckerContext *ctx_, Token token, DeclInfo *de
if (e->kind != Entity_Variable) {
continue;
}
- if (is_type_polymorphic(e->type)) {
+ if (is_type_polymorphic(e->type) && is_type_polymorphic_record_unspecialized(e->type)) {
gbString s = type_to_string(e->type);
char const *msg = "Unspecialized polymorphic types are not allowed in procedure parameters, got %s";
if (e->Variable.type_expr) {