Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 73737e521bf97e5e05e810468e53efc79b484c81)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 1e8f14363888febd56c5b6f87d7874191e24fd45)
@@ -697,6 +697,4 @@
 			std::list< Type* >::iterator candidate_end = (*i).expr->get_results().begin();
 			std::advance( candidate_end, castExpr->get_results().size() );
-			if ( ! unifyList( (*i).expr->get_results().begin(), candidate_end,
-							 castExpr->get_results().begin(), castExpr->get_results().end(), i->env, needAssertions, haveAssertions, openVars, indexer ) ) continue;
 			Cost thisCost = castCostList( (*i).expr->get_results().begin(), candidate_end,
 										  castExpr->get_results().begin(), castExpr->get_results().end(), indexer, i->env );