diff options
| author | Adriaan Moors <adriaan@lightbend.com> | 2016-11-29 16:09:57 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-29 16:09:57 -0800 |
| commit | dd7a53c00a218dab374e3e27d52c1574c811f844 (patch) | |
| tree | 0980f4f1fcbaf2b9d092d5e699aca28d91935e85 /src/compiler/scala/tools/nsc/typechecker | |
| parent | 6659c3ac3d29084583c47bf9f51eb2a5f1b77308 (diff) | |
| parent | 44dac961782aa1193493c181e8423d7751c013ee (diff) | |
| download | scala-dd7a53c00a218dab374e3e27d52c1574c811f844.tar.gz scala-dd7a53c00a218dab374e3e27d52c1574c811f844.tar.bz2 scala-dd7a53c00a218dab374e3e27d52c1574c811f844.zip | |
Merge pull request #5506 from retronym/topic/existential-ids
Avoid name table pollution with fresh existentials
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/PatternTypers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/PatternTypers.scala b/src/compiler/scala/tools/nsc/typechecker/PatternTypers.scala index 1df3449ce6..cd0c292d90 100644 --- a/src/compiler/scala/tools/nsc/typechecker/PatternTypers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/PatternTypers.scala @@ -123,7 +123,7 @@ trait PatternTypers { } private def boundedArrayType(bound: Type): Type = { - val tparam = context.owner freshExistential "" setInfo (TypeBounds upper bound) + val tparam = context.owner.freshExistential("", 0) setInfo (TypeBounds upper bound) newExistentialType(tparam :: Nil, arrayType(tparam.tpe_*)) } |