Add top-level definitions to scope in TreeMapWithImplicits

Fixes #11479

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/TreeMapWithImplicits.scala

@@ -5,6 +5,7 @@ import Trees._
 import core.Contexts._
 import core.ContextOps.enter
 import core.Flags._
+import core.NameOps._
 import core.Symbols._
 import core.TypeError
 
@@ -69,6 +70,18 @@ class TreeMapWithImplicits extends tpd.TreeMap {
     nestedCtx
   }
 
+  private def nestedPackageScopeCtx(sym: Symbol)(using Context): Context = {
+    val nestedCtx = ctx.fresh.setNewScope
+    for
+      packageDecl <- sym.moduleClass.asClass.info.decls.toList
+      if packageDecl.isTerm && packageDecl.name.isPackageObjectName
+      decl <- packageDecl.info.decls.toList
+      if decl.isOneOf(GivenOrImplicit)
+    do
+      nestedCtx.enter(decl)
+    nestedCtx
+  }
+
   private def patternScopeCtx(pattern: Tree)(using Context): Context = {
     val nestedCtx = ctx.fresh.setNewScope
     new TreeTraverser {
@@ -100,8 +113,10 @@ class TreeMapWithImplicits extends tpd.TreeMap {
         }
       case EmptyValDef =>
         tree
-      case _: PackageDef | _: MemberDef =>
-        super.transform(tree)(using localCtx)
+      case _: PackageDef =>
+        super.transform(tree)(using nestedPackageScopeCtx(tree.symbol)(using localCtx))
+      case _: MemberDef =>
+          super.transform(tree)(using localCtx)
       case impl @ Template(constr, parents, self, _) =>
         cpy.Template(tree)(
           transformSub(constr),

tests/pos-macros/i11479/Macro_1.scala

@@ -0,0 +1,3 @@
+trait Foo
+given Foo: Foo with {}
+inline def summonFoo(): Foo = scala.compiletime.summonInline[Foo]

tests/pos-macros/i11479/Test_2.scala

@@ -0,0 +1 @@
+def test: Unit = summonFoo()