Skip to content

Commit 0ac256a

Browse files
committed
Fix #2527, drop term refinements normalizeToClassRefs
1 parent 5192eac commit 0ac256a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

compiler/src/dotty/tools/dotc/core/TypeOps.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -346,6 +346,8 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
346346
if (prevInfo == null) tp.refinedInfo else prevInfo & tp.refinedInfo)
347347
formals = formals.updated(name, tp1.typeParamNamed(name))
348348
normalizeToRef(tp1)
349+
case tp @ RefinedType(tp1, _: TermName, _) =>
350+
normalizeToRef(tp1)
349351
case _: ErrorType =>
350352
defn.AnyType
351353
case AnnotatedType(tpe, _) =>

0 commit comments

Comments
 (0)