diff options
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Names.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/Names.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Names.scala b/compiler/src/dotty/tools/dotc/core/Names.scala index 22d0588f4..407dc149a 100644 --- a/compiler/src/dotty/tools/dotc/core/Names.scala +++ b/compiler/src/dotty/tools/dotc/core/Names.scala @@ -482,8 +482,9 @@ object Names { val CONSTRUCTOR: TermName = termName("<init>") val STATIC_CONSTRUCTOR: TermName = termName("<clinit>") val EMPTY_PACKAGE: TermName = termName("<empty>") + val REFINEMENT: TermName = termName("<refinement>") - val dontEncode = Set(CONSTRUCTOR, EMPTY_PACKAGE) + val dontEncode = Set(CONSTRUCTOR, EMPTY_PACKAGE, REFINEMENT) def termNameBuilder: Builder[Char, TermName] = StringBuilder.newBuilder.mapResult(termName) |