ApplyToUntyped

The type of typed arguments: either tpd.Tree or Type

Turn a typed tree into an argument

Given an original argument and the type of the corresponding formal parameter, produce a typed argument.

Check that argument corresponds to type formal and possibly add it to the list of adapted arguments

Signal failure with given message at position of the application itself

Signal failure with given message at position of given argument

If all args have primitive numeric types, make sure it's the same one

Is sym a constructor of a Java-defined annotation?

An argument is safe if it is a pure expression or a default getter call If all arguments are safe, no reordering is necessary

Is this an argument of the form expr: _* or a RepeatedParamType derived from such an argument?

If constructing trees, pull out all parts of the function which are not idempotent into separate prefix definitions

If constructing trees, turn last n processed arguments into a SeqLiteral tree with element type elemFormal.

Match re-ordered arguments against formal parameters

Whether liftFun is needed? It is the case if default arguments are used.

The current function part, which might be affected by lifting.

Re-order arguments to correctly align named arguments

The application was successful

The kind of application that gets typed

The function's type after widening and instantiating polytypes with TypeParamRefs in constraint set

The arguments re-ordered so that each named argument matches the same-named formal parameter.