Index: src/ResolvExpr/CommonType.cc
===================================================================
--- src/ResolvExpr/CommonType.cc	(revision 24d6572fc571b2a894d56a9335edd57899c448c0)
+++ src/ResolvExpr/CommonType.cc	(revision 62d62db217dc9f917346863faa9d03148d98844f)
@@ -1035,7 +1035,7 @@
 		void postvisit( const ast::TraitInstType * ) {}
 
-		void postvisit( const ast::TypeInstType * inst ) {}
-
-		void postvisit( const ast::TupleType * tuple) {
+		void postvisit( const ast::TypeInstType * ) {}
+
+		void postvisit( const ast::TupleType * tuple ) {
 			tryResolveWithTypedEnum( tuple );
 		}
Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 24d6572fc571b2a894d56a9335edd57899c448c0)
+++ src/ResolvExpr/Resolver.cc	(revision 62d62db217dc9f917346863faa9d03148d98844f)
@@ -1107,5 +1107,5 @@
 
 		/// Removes cast to type of argument (unlike StripCasts, also handles non-generated casts)
-		void removeExtraneousCast( ast::ptr<ast::Expr> & expr, const ast::SymbolTable & symtab ) {
+		void removeExtraneousCast( ast::ptr<ast::Expr> & expr ) {
 			if ( const ast::CastExpr * castExpr = expr.as< ast::CastExpr >() ) {
 				if ( typesCompatible( castExpr->arg->result, castExpr->result ) ) {
@@ -1197,5 +1197,5 @@
 		ast::ptr< ast::Expr > castExpr = new ast::CastExpr{ untyped, type };
 		ast::ptr< ast::Expr > newExpr = findSingleExpression( castExpr, context );
-		removeExtraneousCast( newExpr, context.symtab );
+		removeExtraneousCast( newExpr );
 		return newExpr;
 	}
@@ -1262,4 +1262,5 @@
 		static size_t traceId;
 		Resolver_new( const ast::TranslationGlobal & global ) :
+			ast::WithSymbolTable(ast::SymbolTable::ErrorDetection::ValidateOnAdd),
 			context{ symtab, global } {}
 		Resolver_new( const ResolveContext & context ) :
@@ -2041,5 +2042,5 @@
 		const ast::Type * initContext = currentObject.getCurrentType();
 
-		removeExtraneousCast( newExpr, symtab );
+		removeExtraneousCast( newExpr );
 
 		// check if actual object's type is char[]