Index: src/InitTweak/FixInit.cc
===================================================================
--- src/InitTweak/FixInit.cc	(revision 2ec65ad39e90408775929f92fdbbcf4a1b3bb9de)
+++ src/InitTweak/FixInit.cc	(revision ee612482decbbc67bb9fee72d67d75ee9a661708)
@@ -634,4 +634,7 @@
 			// add destructors after current statement
 			for ( Expression * dtor : dtors ) {
+				// take relevant bindings from environment
+				assert( ! dtor->env );
+				dtor->env =  TypeSubstitution::newFromExpr( dtor, impCpCtorExpr->env );
 				stmtsToAddAfter.push_back( new ExprStmt( dtor ) );
 			} // for