Handle eta-expanded type exports

dwijnand · Jan 20, 2024 · 4e532e9 · 4e532e9
1 parent 03c9b3e
commit 4e532e9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Symbols.scala b/compiler/src/dotty/tools/dotc/core/Symbols.scala
@@ -333,7 +333,9 @@ object Symbols extends SymUtils {
       else if (denot.is(ModuleVal))
         this.moduleClass.sourceSymbol // The module val always has a zero-extent position
       else if denot.is(ExportedType) then
-        denot.info.dropAlias.asInstanceOf[NamedType].symbol.sourceSymbol
+        denot.info.dropAlias.finalResultType.typeConstructor match
+          case tp: NamedType => tp.symbol.sourceSymbol
+          case _             => this
       else if (denot.is(Synthetic)) {
         val linked = denot.linkedClass
         if (linked.exists && !linked.is(Synthetic))