Declare result variable lazily.
Check that the function contains any closure. If it's @nogc, report suitable errors. This is mostly consistent with FuncDeclaration::needsClosure().
Check that this function type is properly resolved. If not, report "forward reference error" and return true.
In the current function, we are calling 'this' function. 1. Check to see if the current function can call 'this' function, issue error if not. 2. If the current function is not the parent of 'this' function, then add the current function to the list of siblings of 'this' function. 3. If the current function is a literal, and it's accessing an uplevel scope, then mark it as a delegate. Returns true if error occurs.
find function template root in overload list
Find index of function in vtbl[0..dim] that this function overrides. Prefer an exact match to a covariant one.
Resolve forward reference of function signature - parameter types, return type, and attributes. Returns false if any errors exist in the signature.
Resolve forward reference of function body. Returns false if any errors exist in the body.
Determine lexical level difference from 'this' to nested function 'fd'. Error if this cannot call fd.
Return the function's parameter list, and whether it is variadic or not.
Determine if function's variables are referenced by a function nested within it.
Returns true if function was declared directly or indirectly in a unittest block
Determine if function needs a static frame pointer.
Determine if function is a non-static member function that has an implicit 'this' expression.
If there are no overloads of function f, return that function, otherwise return NULL.
Returns true if the function return value has no indirection which comes from the parameters.
Determine partial specialization order of 'this' vs g. This is very similar to TemplateDeclaration::leastAsSpecialized().
Merge into this function the 'out' contracts of all it overrides. 'out's are AND'd together, i.e. all of them need to pass.
Merge into this function the 'in' contracts of all it overrides. 'in's are OR'd together, i.e. only one of them needs to pass.
Look at all the variables in this function that are referenced by nested functions, and determine if a closure needs to be created for them.
Find function in overload list that exactly matches t.
Overload this FuncDeclaration with the new one f. Return true if successful; i.e. no conflict.
Find function in overload list that matches to the 'this' modifier. There's four result types.
If function a function in a base class, return that base class.
Determine if 'this' overrides fd. Return !=0 if it does.
Returns true if an object typed t can have indirections which come from the parameters.
Labels are in a separate scope, one per function.
The function is doing something that may allocate with the GC, so mark it as not nogc (not no-how).
The function is doing something impure, so mark it as impure. If there's a purity error, return true.
The function is doing something unsave, so mark it as unsafe. If there's a safe error, return true.
for diagnostics, e.g. 'int foo(int x, int y) pure'
Generate a FuncDeclaration for a runtime library function.
Check to see if declaration can be modified in this context (sc). Issue error if not.