We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 312e4bb commit c35a700Copy full SHA for c35a700
compiler/src/dotty/tools/dotc/ast/tpd.scala
@@ -414,7 +414,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
414
case pre: ThisType =>
415
tp.isType ||
416
pre.cls.isStaticOwner ||
417
- tp.symbol.isParamOrAccessor && !pre.cls.is(Trait) && ctx.owner.enclosingClass == pre.cls
+ tp.symbol.isParamOrAccessor && !tp.symbol.owner.is(Trait) && ctx.owner.enclosingClass == pre.cls
418
// was ctx.owner.enclosingClass.derivesFrom(pre.cls) which was not tight enough
419
// and was spuriously triggered in case inner class would inherit from outer one
420
// eg anonymous TypeMap inside TypeMap.andThen
tests/pos/i18091.scala
@@ -0,0 +1,5 @@
1
+trait B(val y: Int)
2
+
3
+class C extends B(20) {
4
+ def foo(): Unit = println(y)
5
+}
0 commit comments