Index: src/ResolvExpr/ResolveAssertions.cc
===================================================================
--- src/ResolvExpr/ResolveAssertions.cc	(revision cf32116a7c8c54e0d0839465e3e60ca0be290dbc)
+++ src/ResolvExpr/ResolveAssertions.cc	(revision 396b830fbd39b9c51314bba40c12d1cca6f9fc52)
@@ -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 );