Collect imports in blocks

Fixes #11557

Author: nicolasstucki

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

@@ -60,17 +60,20 @@ class TreeMapWithImplicits extends tpd.TreeMap {
     traverse(stats)
   }
 
-  private def nestedScopeCtx(defs: List[Tree])(using Context): Context = {
+  private def nestedScopeCtx(stats: List[Tree])(using Context): Context = {
     val nestedCtx = ctx.fresh.setNewScope
-    defs foreach {
+    stats.foreach {
       case d: DefTree if d.symbol.isOneOf(GivenOrImplicit) => nestedCtx.enter(d.symbol)
       case _ =>
     }
-    nestedCtx
+    importScopeCtx(stats)(using nestedCtx)
   }
 
   private def nestedPackageScopeCtx(tree: PackageDef)(using Context): Context =
-    tree.stats.foldLeft(ctx.withOwner(tree.symbol)) {
+    importScopeCtx(tree.stats)(using ctx.withOwner(tree.symbol))
+
+  private def importScopeCtx(stats: List[Tree])(using Context): Context =
+    stats.foldLeft(ctx) {
       case (acc, stat: Import) => ctx.importContext(stat, stat.symbol)
       case (acc, _) => acc
     }

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

@@ -46,7 +46,7 @@ abstract class TreeMapWithStages(@constructorOnly ictx: Context) extends TreeMap
   /** The quotation level of the definition of the locally defined symbol */
   protected def levelOf(sym: Symbol): Int = levelOfMap.getOrElse(sym, 0)
 
-  /** Localy defined symbols seen so far by `StagingTransformer.transform` */
+  /** Locally defined symbols seen so far by `StagingTransformer.transform` */
   protected def localSymbols: List[Symbol] = enteredSyms
 
   /** If we are inside a quote or a splice */
@@ -74,7 +74,7 @@ abstract class TreeMapWithStages(@constructorOnly ictx: Context) extends TreeMap
   /** Transform the expression splice `splice` which contains the spliced `body`. */
   protected def transformSplice(body: Tree, splice: Apply)(using Context): Tree
 
-  /** Transform the typee splice `splice` which contains the spliced `body`. */
+  /** Transform the type splice `splice` which contains the spliced `body`. */
   protected def transformSpliceType(body: Tree, splice: Select)(using Context): Tree
 
   override def transform(tree: Tree)(using Context): Tree =
@@ -109,7 +109,7 @@ abstract class TreeMapWithStages(@constructorOnly ictx: Context) extends TreeMap
           try dropEmptyBlocks(quotedTree) match {
             case Spliced(t) =>
               // '{ $x } --> x
-              // and adapt the refinment of `Quotes { type tasty: ... } ?=> Expr[T]`
+              // and adapt the refinement of `Quotes { type reflect: ... } ?=> Expr[T]`
               transform(t).asInstance(tree.tpe)
             case _ => transformQuotation(quotedTree, tree)
           }

tests/pos/i11557.scala

@@ -0,0 +1,12 @@
+type MyEncoder
+
+class MyContext:
+  given intEncoder: MyEncoder = ???
+
+def doEncoding(ctx: MyContext): Unit =
+  import ctx.{*, given}
+  summon[MyEncoder]
+  summonInlineMyEncoder()
+
+inline def summonInlineMyEncoder(): Unit =
+  compiletime.summonInline[MyEncoder]