Pure

The attribute marks the function that has no impact on the program state or passed parameters used after the function execution.

This means that a function call that resolves to such a function can be safely removed if the execution result is not used in code afterwards. Functions that take a callable which is called should not have this attribute applied.