Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 5408b5919f1f591121d6cdabf6c6b5e605e61e6b)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 28372f752c60dd8bfb05c05d98e1a4f9e184259c)
@@ -268,5 +268,5 @@
 		ast::ptr< ast::Type > resType = cand.expr->result;
 		cand.env.apply( resType );
-		return Mangle::mangle( resType, Mangle::typeMode() );
+		return Mangle::mangleType( resType );
 	}