Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision b0837e4dfda21dcfd8fa2bbaaaf2078ad86ba096)
+++ src/ResolvExpr/Unify.cc	(revision f0ecf9bfb3ccc333894542767cb1c491f7e79993)
@@ -138,5 +138,4 @@
 	bool tyVarCompatible( const TypeDecl::Data & data, Type *type ) {
 		switch ( data.kind ) {
-		  case TypeDecl::Any:
 		  case TypeDecl::Dtype:
 			// to bind to an object type variable, the type must not be a function type.