From: fennecdjay <fennecdjay@gmail.com>
Date: Thu, 1 Feb 2024 12:14:10 +0000 (+0100)
Subject: :fire: more on const generics and spread
X-Git-Tag: nightly~104
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=8030ef3812f54d6aeced27d91573bdcd4d6b2080;p=gwion.git

:fire: more on const generics and spread
---

diff --git a/include/template.h b/include/template.h
index e5f5f9c9..f11821a6 100644
--- a/include/template.h
+++ b/include/template.h
@@ -27,5 +27,5 @@ ANN static inline Tmpl* get_tmpl(const Type t) {
     return (a);                                                                \
   }
 
-ANN static void fdef_const_generic_value(const Env env, const Type owner, const Type t, const Tag tag);
+ANN m_bool const_generic_typecheck(const Env env, const Specialized *spec, const TmplArg *targ);
 #endif