Reports the #[Pure] annotations used on functions that may produce side effects.