Continuing the discussion from Pure annotation for stateless functions, since I think it was getting off-topic: For future readers, in the previous topic there was a thread about when functions are pure, and how panics and loops interact with pure functions. Maybe, let me lay out the definitions I'm using, Pure function: a function when given the same inputs, returns the same outputs, and produces no effects Total function: a function which always returns normally (does not diverge), but it...
