Index: src/AST/Decl.cpp
===================================================================
--- src/AST/Decl.cpp	(revision f27331cadb91ea3ae3579341d5753e810e16d653)
+++ src/AST/Decl.cpp	(revision 9d6db206e54738fa1f9c920006e8d04bf7221a30)
@@ -26,4 +26,5 @@
 #include "Node.hpp"            // for readonly
 #include "Type.hpp"            // for readonly
+#include "Expr.hpp"
 
 namespace ast {
@@ -65,4 +66,7 @@
 	for (auto & tp : this->type_params) {
 		ftype->forall.emplace_back(new TypeInstType(tp->name, tp));
+		for (auto & ap: tp->assertions) {
+			ftype->assertions.emplace_back(new VariableExpr(loc, ap));
+		}
 	}
 	this->type = ftype;