Closed
Description
Compiler version
3.1.0
Minimized code
import scala.quoted.*
def generateImpl(using q: Quotes): Expr[Unit] =
'{ def runEffect[T]: T = ${ runEffectImpl[T] } }
inline def runEffectImpl[T: Type]: Expr[T] = ???
Related to #13563
Output
java.lang.AssertionError: assertion failed: unresolved symbols: type T (line 3) #13947 when pickling tests/pos-macros/i13563b.scala
at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
at dotty.tools.dotc.core.tasty.TreePickler.pickle(TreePickler.scala:777)
at dotty.tools.dotc.quoted.PickledQuotes$.pickle(PickledQuotes.scala:167)
at dotty.tools.dotc.quoted.PickledQuotes$.pickleQuote(PickledQuotes.scala:36)
...
Expectation
Should compile