Proposal: Add `transparent inline` parameters

[Jasper-M]

I suspect this is actually a case for summonInline.

transparent inline def f[A](inline x: A) =
  someRepetitiveMethodCall(x)(using summonInline[TypeClass[A]]).anotherRepetitiveMethodCall

For your real use case perhaps that will still require quite complex code. Which brings us back to this old suggestion of mine:

Using summonInline[T] with summon[T] for resolving implicits in inline methods

I agree that it’s pretty annoying that you have to explicitly pass around all implicits with summonInline in these cases. It can also take a while to figure out what’s going wrong if you forget one. Perhaps as a compromise we could have a compileTimeOnly method scala.compiletime.summoningInline that enables summonInline as the default summoning method in a limited scope. inline def printTC3Inline(): Unit = summoningInline { ImplicitUsing.useImpl[String] }