Expand macros in Inlining phase

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -3615,7 +3615,7 @@ class Typer extends Namer
   }
 
   // Overridden in InlineTyper
-  def suppressInline(using Context): Boolean = ctx.isAfterTyper
+  def suppressInline(using Context): Boolean = ctx.isAfterTyper && ctx.phase.phaseName != "inlining"
 
   /** Does the "contextuality" of the method type `methType` match the one of the prototype `pt`?
    *  This is the case if

library/src/scala/compiletime/package.scala

@@ -141,7 +141,7 @@ package object compiletime {
    *  @tparam T the tuple containing the types of the values to be summoned
    *  @return the given values typed as elements of the tuple
    */
-  inline def summonAll[T <: Tuple]: Widen[T] =
+  transparent inline def summonAll[T <: Tuple]: Tuple.Widen[T] =
     val res =
       inline erasedValue[T] match
         case _: EmptyTuple => EmptyTuple