Scala 3/scala.quoted.runtime/SplicedType

SplicedType

class SplicedType extends Annotation

Artifact of pickled type splices

During quote reification a quote '{ ... F[t.Underlying] ... } will be transformed into '{ @SplicedType type T$1 = t.Underlying ... F[T$1] ... } to have a tree for t.Underlying. This artifact is removed during quote unpickling.

See PickleQuotes.scala and PickledQuotes.scala

Adding this annotation in source has undefined behavior at compile-time

Source:
SplicedType.scala
class Object
trait Matchable
class Any