Update compiler/src/dotty/tools/dotc/core/Substituters.scala

smarter · odersky · web-flow · commit cf5d20e9dd15 · 2019-02-15T16:57:53.000+01:00
Co-Authored-By: odersky &lt;odersky@gmail.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/core/Substituters.scala b/compiler/src/dotty/tools/dotc/core/Substituters.scala
@@ -212,7 +212,7 @@ trait Substituters { this: Context =>
           fs = fs.tail
           ts = ts.tail
         }
-        if (tp.prefix `eq` NoPrefix) tp else tp.derivedSelect(apply(tp.prefix))
+        if (tp.prefix `eq` NoPrefix) tp else derivedSelect(tp, apply(tp.prefix))
       case _: ThisType | _: BoundType =>
         tp
       case _ =>

Original file line number	Diff line number	Diff line change
`@@ -212,7 +212,7 @@ trait Substituters { this: Context =>`
`212`	`212`	`fs = fs.tail`
`213`	`213`	`ts = ts.tail`
`214`	`214`	`}`
`215`		- if (tp.prefix `eq` NoPrefix) tp else tp.derivedSelect(apply(tp.prefix))
	`215`	+ if (tp.prefix `eq` NoPrefix) tp else derivedSelect(tp, apply(tp.prefix))
`216`	`216`	`case _: ThisType \| _: BoundType =>`
`217`	`217`	`tp`
`218`	`218`	`case _ =>`