Changes in src/ResolvExpr/ConversionCost.cc [ef1da0e2:fc134a48]

File:

• src/ResolvExpr/ConversionCost.cc (modified) (2 diffs)

src/ResolvExpr/ConversionCost.cc

@@ -22 +22 @@
 #include "ResolvExpr/Cost.h"             // for Cost
 #include "ResolvExpr/TypeEnvironment.h"  // for EqvClass, TypeEnvironment
-#include "ResolvExpr/Unify.h"
 #include "SymTab/Indexer.h"              // for Indexer
 #include "SynTree/Declaration.h"         // for TypeDecl, NamedTypeDecl
 #include "SynTree/Type.h"                // for Type, BasicType, TypeInstType
 #include "typeops.h"                     // for typesCompatibleIgnoreQualifiers
-
 
 namespace ResolvExpr {
@@ -657 +655 @@
                                 cost = Cost::safe;
                         }
-                }
-                /*
-                else if ( const ast::FunctionType * dstFunc = dstAsPtr->base.as<ast::FunctionType>()) {
-                        if (const ast::FunctionType * srcFunc = pointerType->base.as<ast::FunctionType>()) {
-                                if (dstFunc->params.empty() && dstFunc->isVarArgs ) {
-                                        cost = Cost::unsafe; // assign any function to variadic fptr
-                                }
-                        }
-                        else {
-                                ast::AssertionSet need, have; // unused
-                                ast::OpenVarSet open;
-                                env.extractOpenVars(open);
-                                ast::TypeEnvironment tenv = env;
-                                if ( unify(dstAsPtr->base, pointerType->base, tenv, need, have, open, symtab) ) {
-                                        cost = Cost::safe;
-                                }
-                        }
-                        // else infinity
-                }
-                */
-                else {
+                } else {
                         int assignResult = ptrsAssignable( pointerType->base, dstAsPtr->base, env );
                         if ( 0 < assignResult && tq1 <= tq2 ) {