DMD Symbol Reference Analysis Pass

[via Digitalmars-d-learn]

On Wednesday, 20 May 2015 at 09:27:06 UTC, Per Nordlöw wrote:

Two cases come to my mind:

A: Non-Templated Function: must be @safe (or perhaps @trusted) 
pure and parameter must qualified as const (or in).
B: Templated Function: Usage of parameter in body must be 
non-mutating; meaning no lhs of assignment op (=, +=, ...), and 
calls to functions that take parameter as argument must be 
transitively fulfill A and B.