Index: src/ResolvExpr/ResolveAssertions.cc
===================================================================
--- src/ResolvExpr/ResolveAssertions.cc	(revision 83ab93186b096c8ab82b2f316ce3b657ba718850)
+++ src/ResolvExpr/ResolveAssertions.cc	(revision 9aaacc27a30138e3cf69cc002b1d861c8aba1aac)
@@ -203,5 +203,6 @@
 		// place newly-inferred assertion in proper place in cache
 		inferred[ info.resnSlot ][ decl->get_uniqueId() ] = ParamEntry{
-				candidate->get_uniqueId(), match.adjType, decl->get_type()->clone(), varExpr };
+				candidate->get_uniqueId(), match.adjType->clone(), decl->get_type()->clone(), 
+				varExpr };
 
 		// // follow the current assertion's ID chain to find the correct set of inferred parameters 
@@ -271,5 +272,5 @@
 					std::move(newNeed), std::move(newOpenVars), crntResnSlot );
 			} else {
-				delete adjType;
+				//delete adjType;
 			}
 		}