Index: src/InitTweak/FixInitNew.cpp
===================================================================
--- src/InitTweak/FixInitNew.cpp	(revision 720f2fe263de46a16198a07023bfeb3b7cbe8876)
+++ src/InitTweak/FixInitNew.cpp	(revision 9e23b446e321a87bbf5f2439c8d555a808d5e53c)
@@ -73,5 +73,5 @@
 	/// wrap function application expressions as ImplicitCopyCtorExpr nodes so that it is easy to identify which
 	/// function calls need their parameters to be copy constructed
-	struct InsertImplicitCalls : public ast::WithConstTypeSubstitution, public ast::WithShortCircuiting {
+	struct InsertImplicitCalls : public ast::WithShortCircuiting {
 		const ast::Expr * postvisit( const ast::ApplicationExpr * appExpr );
 
@@ -457,5 +457,4 @@
 		// is needed to obtain the type of temporary variables so that copy
 		// constructor calls can be resolved.
-		assert( typeSubs );
 		expr->env = tmp;
 		return expr;