:art: tmpl_info security

diff --git a/src/lib/tmpl_info.c b/src/lib/tmpl_info.c
index 6d9d483399f379a478278fe3439565456f7c743f..4e8e34b7ac2c8e58970f2b17e49039d747961ac2 100644 (file)
--- a/src/lib/tmpl_info.c
+++ b/src/lib/tmpl_info.c
@@ -100,7 +100,8 @@ ANN Type tmpl_exists(const Env env, struct tmpl_info *const info) {
 ANN bool tmpl_global(const Env env, Type_List tl) {
   for(uint32_t i = 0; i < tl->len; i++) {
     Type_Decl *td = *mp_vector_at(tl, Type_Decl*, i);
-    if(!type_global(env, known_type(env, td)))
+    const Type t = known_type(env, td);
+    if(!t && !type_global(env, t))
       return false;
   }
   return true;