Index: src/AST/Node.cpp
===================================================================
--- src/AST/Node.cpp	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/AST/Node.cpp	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -47,9 +47,9 @@
 	const ast::ParseNode * parse = dynamic_cast<const ast::ParseNode *>( node );
 	if ( nullptr == parse ) {
-		assertf(nullptr, "%s (no location)", toString(node).c_str());
+		assertf(false, "%s (no location)", toString(node).c_str());
 	} else if ( parse->location.isUnset() ) {
-		assertf(nullptr, "%s (unset location)", toString(node).c_str());
+		assertf(false, "%s (unset location)", toString(node).c_str());
 	} else {
-		assertf(nullptr, "%s (at %s:%d)", toString(node).c_str(),
+		assertf(false, "%s (at %s:%d)", toString(node).c_str(),
 			parse->location.filename.c_str(), parse->location.first_line);
 	}
Index: src/GenPoly/GenPoly.cc
===================================================================
--- src/GenPoly/GenPoly.cc	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/GenPoly/GenPoly.cc	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -64,4 +64,5 @@
 		}
 
+		__attribute__((ununsed))
 		bool hasPolyParams( const std::vector<ast::ptr<ast::Expr>> & params, const TyVarMap & tyVars, const ast::TypeSubstitution * env) {
 			for (auto &param : params) {
Index: src/ResolvExpr/CandidateFinder.cpp
===================================================================
--- src/ResolvExpr/CandidateFinder.cpp	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/ResolvExpr/CandidateFinder.cpp	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -597,5 +597,5 @@
 		const ast::SymbolTable & symtab;
 	public:
-		static size_t traceId;
+		// static size_t traceId;
 		CandidateFinder & selfFinder;
 		CandidateList & candidates;
@@ -890,5 +890,5 @@
 							}
 						}
-						
+
 						// if argType is an unbound type parameter, all special functions need to be searched.
 						if (isUnboundType(argType)) {
@@ -1104,5 +1104,5 @@
 				// unification run for side-effects
 				unify( toType, cand->expr->result, cand->env, need, have, open, symtab );
-				Cost thisCost = 
+				Cost thisCost =
 					(castExpr->isGenerated == ast::GeneratedFlag::GeneratedCast)
  	                    ? conversionCost( cand->expr->result, toType, cand->expr->get_lvalue(), symtab, cand->env )
@@ -1729,10 +1729,10 @@
 						found->second.ambiguous = true;
 					}
-				} else { 
+				} else {
 					// xxx - can satisfyAssertions increase the cost?
 					PRINT(
 						std::cerr << "cost " << newCand->cost << " loses to "
 							<< found->second.candidate->cost << std::endl;
-					)	
+					)
 				}
 			} else {
@@ -1819,5 +1819,5 @@
 		if ( mode.failFast && pruned.empty() ) {
 			std::ostringstream stream;
-			if (found) {		
+			if (found) {
 				CandidateList winners = findMinCost( candidates );
 				stream << "Cannot choose between " << winners.size() << " alternatives for "
Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/ResolvExpr/Unify.cc	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -1044,5 +1044,5 @@
 			}
 
-			return { new ast::TupleType{ std::move(out) } };
+			return new ast::TupleType{ std::move(out) };
 		}
 
Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/SymTab/Validate.cc	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -1628,5 +1628,4 @@
 		}
 	};
-	*/
 
 	/// expand assertions from a trait instance, performing appropriate type variable substitutions
@@ -1646,6 +1645,4 @@
 		}
 	}
-
-	/*
 
 	/// Associates forward declarations of aggregates with their definitions
Index: src/SynTree/AggregateDecl.cc
===================================================================
--- src/SynTree/AggregateDecl.cc	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/SynTree/AggregateDecl.cc	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -92,5 +92,5 @@
 	std::list< Expression * > copy_parameters;
 	cloneAll( new_parameters, copy_parameters );
-	return makeInst( move( copy( copy_parameters ) ) );
+	return makeInst( copy( copy_parameters ) );
 }
 
Index: src/SynTree/ReferenceToType.cc
===================================================================
--- src/SynTree/ReferenceToType.cc	(revision 9380add3196da589b11c65e5e57dfd5a426cf9b2)
+++ src/SynTree/ReferenceToType.cc	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -207,5 +207,4 @@
 	Type::print( os, indent );
 	os << "instance of " << typeString() << " ";
-	const auto & name_ = get_name();
 	if( deterministic_output && isUnboundType(name) ) os << "[unbound]";
 	else os << name;