Index: src/ResolvExpr/ResolveAssertions.cc
===================================================================
--- src/ResolvExpr/ResolveAssertions.cc	(revision 21300d75a007db91aebde37600bdcb7eeb14a5d5)
+++ src/ResolvExpr/ResolveAssertions.cc	(revision 8b34df032b958bfd4e1d59e5d6573aa153bd4015)
@@ -325,5 +325,6 @@
 					entry.second.expr = postmutate( entry.second.expr );
 					// xxx - look at entry.second.inferParams?
-					expr->inferParams[ entry.first ] = entry.second;
+					auto res = expr->inferParams.emplace( entry.first, entry.second );
+					assert(res.second);
 				}
 			}