CompileTime
extends Object with SerializableSupertypes
Object, SerializableAnnotations
@scala.annotation.compileTimeOnlyMembers
fromAbove
A type pattern that must be aproximated from above
A type pattern that must be aproximated from above
patternBindHole
A splice of a name in a quoted pattern is desugared by wrapping getting this annotation
A splice of a name in a quoted pattern is desugared by wrapping getting this annotation
patternType
A splice of a name in a quoted pattern is that marks the definition of a type splice
A splice of a name in a quoted pattern is that marks the definition of a type splice
quoteTypeTag
Artifact of pickled type splices
During quote reification a quote '{ ... F[$t] ... }
will be transformed into
'{ @quoteTypeTag type T$1 = $t ... F[T$1]...
Artifact of pickled type splices
During quote reification a quote '{ ... F[$t] ... }
will be transformed into
'{ @quoteTypeTag type T$1 = $t ... F[T$1] ... }
to have a tree for $t
.
This artifact is removed during quote unpickling.
See ReifyQuotes.scala and PickledQuotes.scala
exprQuote
[T] ( x: T ) : implicit QuoteContext => Expr[T]A term quote is desugared by the compiler into a call to this method
A term quote is desugared by the compiler into a call to this method
exprSplice
[T, QCtx] ( x: implicit QCtx => Expr[T] ) : TA term splice is desugared by the compiler into a call to this method
A term splice is desugared by the compiler into a call to this method
patternHole
[T] : TA splice in a quoted pattern is desugared by the compiler into a call to this method
A splice in a quoted pattern is desugared by the compiler into a call to this method
typeQuote
[T] : Type[T]A type quote is desugared by the compiler into a call to this method
A type quote is desugared by the compiler into a call to this method