What about the other way around? Impure functions calling pure functions? Or is that not something someone would/should care about?
We do that all the time and there would not be any benefit of requiring an annotation for that.
2 Likes
As I see it, a @pure attribute is like @escaping or @inlineable: it doesn't by itself make the annotated code conform, but enforces that conformance and makes it apparent to its users.
2 Likes