> Programmers are allowed to make conceptually safe functions which are not marked as @safe, why not the same for pure functions?
Programmers can always shoot themselves in the foot anyway, if they really want to. Why not just make it easier for them? :) (We could allow unsafe casts, for instance.) Sorry, but that's the argument here...
