diff options
author | Martin Odersky <odersky@gmail.com> | 2012-06-02 23:09:27 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-06-02 23:09:34 +0200 |
commit | fc24db4ca25c66a7d04ae2d225e5b430e9c599dd (patch) | |
tree | 3005301b419cdecfad036334e0c7697c1edf11e0 /src | |
parent | 85cd96da352c929ea0ce4ba236730579e09c5c4b (diff) | |
download | scala-fc24db4ca25c66a7d04ae2d225e5b430e9c599dd.tar.gz scala-fc24db4ca25c66a7d04ae2d225e5b430e9c599dd.tar.bz2 scala-fc24db4ca25c66a7d04ae2d225e5b430e9c599dd.zip |
Closes t5399. Review by adriaanm
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 e643a91da7..b0f6e44e88 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2237,7 +2237,7 @@ trait Typers extends Modes with Adaptations with Taggings { // takes untyped sub-trees of a match and type checks them def typedMatch(selector: Tree, cases: List[CaseDef], mode: Int, pt: Type, tree: Tree = EmptyTree): Match = { val selector1 = checkDead(typed(selector, EXPRmode | BYVALmode, WildcardType)) - val selectorTp = packCaptured(selector1.tpe.widen) + val selectorTp = packCaptured(selector1.tpe.widen).skolemizeExistential(context.owner, selector) val casesTyped = typedCases(cases, selectorTp, pt) val (resTp, needAdapt) = |