Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 7f5566b3fe2cd28774da6eb330d767776dd50ea4)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 093f1a05cb892b68f8de125aa3f280ceec73f1f3)
@@ -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 );