This repository was archived by the owner on Jan 19, 2025. It is now read-only.
@pure annotation should also cover the case that a function is not pure but has no side effects #976
Description
Is your feature request related to a problem?
A function without side effects can at least be eliminated if its result is not used.
Desired solution
Replace @pure with @purity. The user can than choose between the variant pure and no side effects.
Possible alternatives (optional)
No response
Screenshots (optional)
No response