Used as a way to import a set of functions from another scope into this one.
Flag used by resolveFuncCall.
Inline Status
Checks for mismatching modifiers between lhsMod and rhsMod and prints the mismatching modifiers to buf.
Generate Expression to call the invariant. Input: ad aggregate with the invariant vthis variable with 'this'
Print the reason why fd was inferred @system as a supplemental error
Returns an indirect type one step from t.
When a traits(compiles) is used on a function literal call we need to take into account if the body of the function violates any attributes, however, we must not affect the attribute inference on the outer function. The attributes of the function literal still need to be inferred, therefore we need a way to check for the scope that the traits compiles introduces.
Visit each overloaded function/template in turn, and call dg(s) on it. Exit when no more, or dg(s) returns nonzero.
Given a symbol that could be either a FuncDeclaration or a function template, resolve it to a function symbol.
A statement / expression in this scope is not @safe, so mark the enclosing function as @system
Like setUnsafe, but for safety errors still behind preview switches
Stores a reason why a function failed to infer a function attribute like @safe or pure
Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }
Defines a function declaration.
Includes: - function/delegate literals - function aliases - (static/shared) constructors/destructors/post-blits - invariant - unittest