Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision df626ebafe6de5b4ec1e48c73cde07ba2d8dd86a)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision b45d4b20b32647a70d1949781b6161c0a4e41629)
@@ -917,6 +917,6 @@
 				// Once this works, it should be possible to infer parameters on a cast expression and specialize any function.
 
-				// inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( candidates ) );
-				candidates.emplace_back( std::move( newAlt ) );
+				inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( candidates ) );
+				// candidates.emplace_back( std::move( newAlt ) );
 			} // if
 		} // for