Index: src/SynTree/GcTracer.h
===================================================================
--- src/SynTree/GcTracer.h	(revision 24de7b1695ec2b0f72713eb9c21700d888488dde)
+++ src/SynTree/GcTracer.h	(revision 5af7306aa8aedc45c7e1b675f42139b19edd2a7c)
@@ -53,6 +53,22 @@
 	}
 
+	void postvisit( DeclarationWithType* decl ) {
+		maybeAccept( decl->asmName, *visitor );
+	}
+
+private:
+	void visit( InferredParams& inferParams ) {
+		for ( auto& entry : inferParams ) {
+			maybeAccept( entry.second.actualType, *visitor );
+			maybeAccept( entry.second.formalType, *visitor );
+			maybeAccept( entry.second.expr, *visitor );
+			visit( *entry.second.inferParams );
+		}
+	}
+
+public:
 	void postvisit( Expression* expr ) {
 		maybeAccept( expr->env, *visitor );
+		visit( expr->inferParams );
 	}