Index: src/ResolvExpr/ResolveAssertions.cc
===================================================================
--- src/ResolvExpr/ResolveAssertions.cc	(revision 849720f09e161bb0a6d5dba500bf709d48c37197)
+++ src/ResolvExpr/ResolveAssertions.cc	(revision 722c0848fd67feb35c28b6a159777986ca180e6d)
@@ -156,5 +156,4 @@
 			for ( const auto& assn : x.assns ) {
 				// compute conversion cost from satisfying decl to assertion
-				assert( !assn.match.adjType->get_lvalue() );
 				k += computeConversionCost(
 					assn.match.adjType, assn.decl->get_type(), false, indexer, x.env );