From 9b379d01bf4c1653d015d70aee8df71be8a6904e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 6 Feb 2008 17:18:13 +0000 Subject: fixed #438 --- src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index ca898d4c62..b1088dd599 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -643,8 +643,8 @@ trait Typers { self: Analyzer => val meth = tree.symbol if (!meth.isConstructor && //isCompatible(tparamsToWildcards(mt, context.undetparams), pt) && - pt != WildcardType && - (pt <:< functionType(mt.paramTypes map (t => WildcardType), WildcardType))) { // (4.2) + isFunctionType(pt))/* && + (pt <:< functionType(mt.paramTypes map (t => WildcardType), WildcardType)))*/ { // (4.2) if (settings.debug.value) log("eta-expanding "+tree+":"+tree.tpe+" to "+pt) checkParamsConvertible(tree.pos, tree.tpe) typed(etaExpand(context.unit, tree), mode, pt) -- cgit v1.2.3