Index: src/ResolvExpr/ResolveAssertions.cc
===================================================================
--- src/ResolvExpr/ResolveAssertions.cc	(revision 40290497ebce3ed6bd65c1848592234c46d1046d)
+++ src/ResolvExpr/ResolveAssertions.cc	(revision 83ab93186b096c8ab82b2f316ce3b657ba718850)
@@ -16,18 +16,19 @@
 #include "ResolveAssertions.h"
 
-#include <cassert>                // for assertf
-#include <list>                   // for list
-#include <unordered_map>          // for unordered_map, unordered_multimap
-#include <utility>                // for move
-#include <vector>                 // for vector
-
-#include "Alternative.h"          // for Alternative, AssertionItem, AssertionList
-#include "Common/FilterCombos.h"  // for filterCombos
-#include "Common/utility.h"       // for sort_mins
-#include "SymTab/Indexer.h"       // for Indexer
-#include "SynTree/Expression.h"   // for InferredParams
-#include "TypeEnvironment.h"      // for TypeEnvironment, etc.
-#include "typeops.h"              // for adjustExprType
-#include "Unify.h"                // for unify
+#include <cassert>                  // for assertf
+#include <list>                     // for list
+#include <unordered_map>            // for unordered_map, unordered_multimap
+#include <utility>                  // for move
+#include <vector>                   // for vector
+
+#include "Alternative.h"            // for Alternative, AssertionItem, AssertionList
+#include "Common/FilterCombos.h"    // for filterCombos
+#include "Common/utility.h"         // for sort_mins
+#include "ResolvExpr/RenameVars.h"  // for renameTyVars
+#include "SymTab/Indexer.h"         // for Indexer
+#include "SynTree/Expression.h"     // for InferredParams
+#include "TypeEnvironment.h"        // for TypeEnvironment, etc.
+#include "typeops.h"                // for adjustExprType
+#include "Unify.h"                  // for unify
 
 namespace ResolvExpr {
@@ -248,4 +249,5 @@
 			Type* adjType = candidate->get_type()->clone();
 			adjustExprType( adjType, newEnv, resn.indexer );
+			renameTyVars( adjType );
 
 			// keep unifying candidates