Index: src/AST/Decl.cpp
===================================================================
--- src/AST/Decl.cpp	(revision 56f519bcc1a437269e9985dafac21f245561e354)
+++ src/AST/Decl.cpp	(revision a4a6802c21ad37733cd39f58fada357d498a2561)
@@ -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;