Index: src/InitTweak/FixInit.cc
===================================================================
--- src/InitTweak/FixInit.cc	(revision babeedade3db87533af6179c3a700ed59a31106a)
+++ src/InitTweak/FixInit.cc	(revision 507e7a25c43d01f94faa1f5f24b309ae36bd70d6)
@@ -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