deprecate @pure and make it just alias to @assume_effects :foldable#48682
Merged
aviatesk merged 1 commit intomasterfrom avi/remove-pure-take2Feb 16, 2023
+49-189
@pure and make it just alias to @assume_effects :foldable#48682
