Skip to content

Unresolved symbol while pickling quote #13732

Closed
@nicolasstucki

Description

@nicolasstucki

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions