Skip to content

Commit 912850b

Browse files
committed
Drop previous fallback case
This should be superseded by now
1 parent ccc69d9 commit 912850b

File tree

1 file changed

+8
-6
lines changed

1 file changed

+8
-6
lines changed

compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -171,12 +171,14 @@ object ExplicitOuter {
171171
val outerCls = outerClass(cls)
172172
val prefix = owner.thisType.baseType(cls).normalizedPrefix
173173
val target =
174-
if (owner == cls)
175-
outerCls.appliedRef
176-
else
177-
outerThis.baseType(outerCls)
178-
.orElse(prefix.widen)
179-
.orElse(outerCls.typeRef.appliedTo(outerCls.typeParams.map(_ => TypeBounds.empty)))
174+
if owner == cls then outerCls.appliedRef
175+
else outerThis.baseType(outerCls).orElse(prefix.widen)
176+
/*println(i"""new outer $name in $owner, $cls,
177+
|prefix = $prefix,
178+
|outerThis = $outerThis,
179+
|outCls = $outerCls,
180+
|baseType = ${outerThis.baseType(outerCls)}
181+
|target = $target""")*/
180182
val info = if (flags.is(Method)) ExprType(target) else target
181183
atPhaseNoEarlier(explicitOuterPhase.next) { // outer accessors are entered at explicitOuter + 1, should not be defined before.
182184
newSymbol(owner, name, Synthetic | flags, info, coord = cls.coord)

0 commit comments

Comments
 (0)