:art: template coverage

diff --git a/src/parse/template.c b/src/parse/template.c
index 3a60b28582154a7d698244415e754b5559c9bbf8..04b7d1b0365db23b7bb108fdd366a2cbcce4b172 100644 (file)
--- a/src/parse/template.c
+++ b/src/parse/template.c
@@ -105,8 +105,7 @@ ANN m_bool template_push_types(const Env env, const Tmpl *tmpl) {
     if(!call)
       break;
     const Type t = known_type(env, call->td);
-    if(!t)
-      POP_RET(-1);
+    assert(t); // was if(!t)POP_RET(-1);
     nspc_add_type(env->curr, list->xid, t);
     call = call->next;
   } while((list = list->next));

diff --git a/tests/tree/template_class_invalid_type_number.gw b/tests/tree/template_class_invalid_type_number.gw
new file mode 100644 (file)
index 0000000..00ee497
--- /dev/null
+++ b/tests/tree/template_class_invalid_type_number.gw
@@ -0,0 +1,2 @@
+class <~A~>C {}
+<~int, float~>C c;

diff --git a/tests/tree/template_self.gw b/tests/tree/template_self.gw
new file mode 100644 (file)
index 0000000..eb852dd
--- /dev/null
+++ b/tests/tree/template_self.gw
@@ -0,0 +1,7 @@
+class <~A~>C {
+  fun void test() {
+    <~A~>C c;
+  }
+}
+
+<~int~>C c;