<@U0B8UEMV1> I mean that purity is enforced? becau...

# arrow

[Andreas Sinz]

@pakoito I mean that purity is enforced? because I just found out about "Annotations for static analyses" in the last feature survey, that could include a @Pure annotation. There is even a issue on yt, but its closed