Index: src/GenPoly/InstantiateGenericNew.cpp
===================================================================
--- src/GenPoly/InstantiateGenericNew.cpp	(revision bccd70a18277379d29bc911ade6a08acf9c36dbd)
+++ src/GenPoly/InstantiateGenericNew.cpp	(revision 251ce804bfa9c794ec6fdf5d077a6553e6d749a4)
@@ -362,5 +362,5 @@
 			ResolvExpr::typesCompatible(
 				memberExpr->result,
-				memberExpr->member->get_type(), ast::SymbolTable() ) ) {
+				memberExpr->member->get_type() ) ) {
 		return memberExpr;
 	}
Index: src/GenPoly/LvalueNew.cpp
===================================================================
--- src/GenPoly/LvalueNew.cpp	(revision bccd70a18277379d29bc911ade6a08acf9c36dbd)
+++ src/GenPoly/LvalueNew.cpp	(revision 251ce804bfa9c794ec6fdf5d077a6553e6d749a4)
@@ -359,6 +359,5 @@
 				!ResolvExpr::typesCompatible(
 					srcType,
-					strict_dynamic_cast<ast::ReferenceType const *>( dstType )->base,
-					ast::SymbolTable() ) ) {
+					strict_dynamic_cast<ast::ReferenceType const *>( dstType )->base ) ) {
 			// Must keep cast if cast-to type is different from the actual type.
 			return ast::mutate_field( expr, &ast::CastExpr::arg, ret );
@@ -377,6 +376,5 @@
 		if ( !ResolvExpr::typesCompatibleIgnoreQualifiers(
 				dstType->stripReferences(),
-				srcType->stripReferences(),
-				ast::SymbolTable() ) ) {
+				srcType->stripReferences() ) ) {
 			return ast::mutate_field( expr, &ast::CastExpr::arg, ret );
 		}
@@ -393,5 +391,5 @@
 				ResolvExpr::typesCompatible(
 					expr->result,
-					expr->arg->result, ast::SymbolTable() ) ) {
+					expr->arg->result ) ) {
 			PRINT(
 				std::cerr << "types are compatible, removing cast: " << expr << '\n';
@@ -590,6 +588,5 @@
 		ast::OpenVarSet openVars;
 		ResolvExpr::unify( ret->arg2->result, ret->arg3->result, newEnv,
-			needAssertions, haveAssertions, openVars,
-			ast::SymbolTable(), common );
+			needAssertions, haveAssertions, openVars, common );
 		ret->result = common ? common : ast::deepCopy( ret->arg2->result );
 		return ret;