diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:51 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:51 +0100 |
commit | f6e454ba8ba2f1183177e1f69788bf9610512c3f (patch) | |
tree | cfebabddaac9998da05900a08d0b912b154d5082 /src/dotty | |
parent | 465ea96afb46e29fb523dad884f0ba860eeea6ff (diff) | |
download | dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.tar.gz dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.tar.bz2 dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.zip |
Fix #877
Use freshName to name evidence parameters.
Diffstat (limited to 'src/dotty')
-rw-r--r-- | src/dotty/tools/dotc/ast/Desugar.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/Desugar.scala b/src/dotty/tools/dotc/ast/Desugar.scala index d1f101283..621ac8ece 100644 --- a/src/dotty/tools/dotc/ast/Desugar.scala +++ b/src/dotty/tools/dotc/ast/Desugar.scala @@ -132,7 +132,7 @@ object desugar { case tparam @ TypeDef(_, ContextBounds(tbounds, cxbounds)) => for (cxbound <- cxbounds) { val paramFlags: FlagSet = if (isPrimaryConstructor) PrivateLocalParamAccessor else Param - val epname = (nme.EVIDENCE_PARAM_PREFIX.toString + epbuf.length).toTermName + val epname = ctx.freshName(nme.EVIDENCE_PARAM_PREFIX).toTermName epbuf += ValDef(epname, cxbound, EmptyTree).withFlags(paramFlags | Implicit) } cpy.TypeDef(tparam)(rhs = tbounds) |