diff options
author | Martin Odersky <odersky@gmail.com> | 2010-03-05 15:58:27 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-03-05 15:58:27 +0000 |
commit | dcca0ea0d7bb7a84b450deff820a0ce5e14328b3 (patch) | |
tree | 2dee1aebabd4c71f749774c931f724d5eea7e1fe /src | |
parent | 55b69cb447a258e463db4f1777324440fe701bdd (diff) | |
download | scala-dcca0ea0d7bb7a84b450deff820a0ce5e14328b3.tar.gz scala-dcca0ea0d7bb7a84b450deff820a0ce5e14328b3.tar.bz2 scala-dcca0ea0d7bb7a84b450deff820a0ce5e14328b3.zip |
Closes #3015. Review by moors (it's his patch).
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index d6eafcde39..d64fc26f15 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2520,7 +2520,7 @@ trait Typers { self: Analyzer => error(fun.pos, "cannot resolve overloaded unapply") (ErrorType, List()) } - val (unappFormal, freeVars) = freshArgType(unappType) + val (unappFormal, freeVars) = freshArgType(unappType.skolemizeExistential(context.owner, tree)) val context1 = context.makeNewScope(context.tree, context.owner) freeVars foreach context1.scope.enter val typer1 = newTyper(context1) |