Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 361bf012e550db91b38f772bfbc7cb7ed2e49033)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 5b9a0ae38512f113ae8de71dd5f6eb8af77ebaaa)
@@ -194,5 +194,5 @@
 			// if we should implement the same rule here
 			// (i.e. error if unique best match is deleted)
-			if (candidate->isDeleted) continue;
+			if (candidate->isDeleted && candidate->linkage == ast::Linkage::AutoGen) continue;
 
 			// build independent unification context for candidate