Function reject_impure 

pub(crate) fn reject_impure(
    expr: impl Into<ExprImpl>,
    context: &str,
) -> Result<()>