Is your feature request related to a problem?

@Pure is meant to indicate that the callable passed to a parameter must be pure. Because of this, it should only be used on parameter with a callable type.

Desired solution

Show an error if @Pure is called on a parameter that does not have a callable type.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response