Types a splice applied to some arguments $f(arg1, ..., argn) in a quote pattern.
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.