Closes #3015. Review by moors (it's his patch).

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@21077 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
2010-03-05 15:58:27 +00:00 · 2010-03-05 15:58:27 +00:00 · 94522cc659
parent ea78c6a6eb
commit 94522cc659
1 changed files with 1 additions and 1 deletions
--- 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)