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