QuotesAndSplices

Types a splice applied to some arguments $f(arg1, ..., argn) in a quote pattern.

The tree is desugared into $f.apply(arg1, ..., argn) where the expression $f is expected to type as a function type (T1, ..., Tn) => R. Ti is the type of the argument argi and R if the type of the prototype. The prototype must be fully defined to be able to infer the type of R.

Translate '{ e } into scala.quoted.Expr.apply(e) and '[T] into scala.quoted.Type.apply[T] while tracking the quotation level in the context.

Type check a type binding reference in a quoted pattern.

If no binding exists with that name, this becomes the definition of a new type binding.

Translate ${ t: Expr[T] } into expression t.splice while tracking the quotation level in the context