We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents ef16034 + 2df52b9 commit 4c61daeCopy full SHA for 4c61dae
compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala
@@ -278,7 +278,8 @@ object ExplicitOuter {
278
)
279
case _ => false
280
}
281
- def hasOuterPrefix(tp: Type) = tp match {
+ def hasOuterPrefix(tp: Type): Boolean = tp.stripped match {
282
+ case AppliedType(tycon, _) => hasOuterPrefix(tycon)
283
case TypeRef(prefix, _) => isOuterRef(prefix)
284
285
tests/pos/i14932.scala
@@ -0,0 +1,9 @@
1
+trait Core {
2
+ class Base[T]()
3
+}
4
+
5
+class Module(val core: Core) {
6
+ object Indirection {
7
+ class Extension[T]() extends core.Base[T]()
8
+ }
9
0 commit comments