Fix ScalarUDFImpl::propagate_constraints doc (#10810)

* Fix ScalarUDFImpl::propagate_constraints doc

* Improve PhysicalExpr::propagate_constraints doc

datafusion/expr/src/udf.rs

@@ -244,8 +244,7 @@ impl ScalarUDF {
     /// # Example
     ///
     /// If the function is `ABS(a)`, the current `interval` is `[4, 5]` and the
-    /// input `a` is given as `[-7, -6]`, then propagation would would return
-    /// `[-5, 5]`.
+    /// input `a` is given as `[-7, 3]`, then propagation would return `[-5, 3]`.
     pub fn propagate_constraints(
         &self,
         interval: &Interval,
@@ -504,8 +503,7 @@ pub trait ScalarUDFImpl: Debug + Send + Sync {
     /// # Example
     ///
     /// If the function is `ABS(a)`, the current `interval` is `[4, 5]` and the
-    /// input `a` is given as `[-7, -6]`, then propagation would would return
-    /// `[-5, 5]`.
+    /// input `a` is given as `[-7, 3]`, then propagation would return `[-5, 3]`.
     fn propagate_constraints(
         &self,
         _interval: &Interval,

datafusion/physical-expr-common/src/physical_expr.rs

@@ -112,8 +112,8 @@ pub trait PhysicalExpr: Send + Sync + Display + Debug + PartialEq<dyn Any> {
     ///
     /// If the expression is `a + b`, the current `interval` is `[4, 5]` and the
     /// inputs `a` and `b` are respectively given as `[0, 2]` and `[-∞, 4]`, then
-    /// propagation would would return `[0, 2]` and `[2, 4]` as `b` must be at
-    /// least `2` to make the output at least `4`.
+    /// propagation would return `[0, 2]` and `[2, 4]` as `b` must be at least
+    /// `2` to make the output at least `4`.
     fn propagate_constraints(
         &self,
         _interval: &Interval,