Index: src/AST/Decl.hpp
===================================================================
--- src/AST/Decl.hpp	(revision 3e5dd91354f39b161547cc1119ecef5890aa765f)
+++ src/AST/Decl.hpp	(revision 28c35e2df7bbf22ffd7561aa771276e2a4d55b0e)
@@ -127,4 +127,6 @@
 	std::vector<ptr<DeclWithType>> params;
 	std::vector<ptr<DeclWithType>> returns;
+	std::vector<ptr<TypeDecl>> type_params;
+	std::vector<ptr<DeclWithType>> assertions;
 	// declared type, derived from parameter declarations
 	ptr<FunctionType> type;
@@ -132,6 +134,4 @@
 	std::vector< ptr<Expr> > withExprs;
 
-	std::vector<ptr<TypeDecl>> type_params;
-	std::vector<ptr<DeclWithType>> assertions;
 
 	FunctionDecl( const CodeLocation & loc, const std::string & name, std::vector<ptr<TypeDecl>>&& forall,