Is your feature request related to a problem?

A parameter with the @Pure annotation only accepts pure callables. Currently, this is not checked, however.

Desired solution

Show an error if an impure callable is passed to a @Pure parameter. This also applies to the default value of that parameter. If the function is marked as @Pure, this implies that all parameters are @Pure.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response