On Tuesday, 9 April 2013 at 11:27:57 UTC, Manu wrote: > The only optimisation possibility is for strong pure functions > that are > also nothrow, right? Was that the conditions for pure function > refactoring? No as no guarantee can exists as long as type qualifier transitivity isn't ensured.