diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-02-06 17:18:13 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-02-06 17:18:13 +0000 |
| commit | 9b379d01bf4c1653d015d70aee8df71be8a6904e (patch) | |
| tree | 6dc1d8a5c4d946303b2903ecae3b3870576b3ad4 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 51e901a8c395eb2d08ff592c41c22acec7f543c8 (diff) | |
| download | scala-9b379d01bf4c1653d015d70aee8df71be8a6904e.tar.gz scala-9b379d01bf4c1653d015d70aee8df71be8a6904e.tar.bz2 scala-9b379d01bf4c1653d015d70aee8df71be8a6904e.zip | |
fixed #438
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 |
1 files changed, 2 insertions, 2 deletions
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) |