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/transform | |
| 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/transform')
| -rw-r--r-- | src/compiler/scala/tools/nsc/transform/patmat/Logic.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/patmat/Logic.scala b/src/compiler/scala/tools/nsc/transform/patmat/Logic.scala index 4ae97ce281..cb3759e5fa 100644 --- a/src/compiler/scala/tools/nsc/transform/patmat/Logic.scala +++ b/src/compiler/scala/tools/nsc/transform/patmat/Logic.scala @@ -682,7 +682,7 @@ trait ScalaLogic extends Interface with Logic with TreeAndTypeAnalysis { private[TreesAndTypesDomain] def uniqueTpForTree(t: Tree): Type = { def freshExistentialSubtype(tp: Type): Type = { // SI-8611 tp.narrow is tempting, but unsuitable. See `testRefinedTypeSI8611` for an explanation. - NoSymbol.freshExistential("").setInfo(TypeBounds.upper(tp)).tpe + NoSymbol.freshExistential("", 0).setInfo(TypeBounds.upper(tp)).tpe } if (!t.symbol.isStable) { |