pub fn impure_expr_desc(expr: &ExprImpl) -> Option<String>
Returns the description of the impure expression if it is impure, for error reporting. None if the expression is pure.
None