Index: src/ResolvExpr/CandidateFinder.hpp
===================================================================
--- src/ResolvExpr/CandidateFinder.hpp	(revision e5c38112cf0116f0fcdd3e08dd4133429b2ecfbe)
+++ src/ResolvExpr/CandidateFinder.hpp	(revision c3ee5f3bd19fb4c7ae641b1685022970419e5909)
@@ -40,4 +40,5 @@
 	/// Fill candidates with feasible resolutions for `expr`
 	void find( const ast::Expr * expr, ResolvMode mode = {} );
+	bool pruneCandidates( CandidateList & candidates, CandidateList & out, std::vector<std::string> & errors );
 
 	/// Runs new candidate finder on each element in xs, returning the list of finders