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.
