do we really need 2 seperate types? (#15)

* do we really need 2 seperate types

* fix compile error

* [auto-verifier] verify commit 640928b

---------

Co-authored-by: Luke Videckis <lukevideckis@gmail.com>
Co-authored-by: GitHub <noreply@github.com>

Author: lrvideckis

.verify-helper/timestamps.remote.json

@@ -1,6 +1,6 @@
 {
-"examples/point_add_range_sum.rs": "2024-05-16 05:51:15 -0600",
-"examples/shortest_path.rs": "2024-05-16 05:51:15 -0600",
-"examples/staticrmq.rs": "2024-05-16 05:51:15 -0600",
-"examples/unionfind.rs": "2024-05-16 05:51:15 -0600"
+"examples/point_add_range_sum.rs": "2024-05-16 06:02:48 -0600",
+"examples/shortest_path.rs": "2024-05-16 06:02:48 -0600",
+"examples/staticrmq.rs": "2024-05-16 06:02:48 -0600",
+"examples/unionfind.rs": "2024-05-16 06:02:48 -0600"
 }

src/fenwick.rs

@@ -16,10 +16,7 @@ impl<T: Clone + Default + std::ops::AddAssign<T>> Fenwick<T> {
         sum
     }
     /// performs data[idx] += val;
-    pub fn add<U: Clone>(&mut self, mut idx: usize, val: U)
-    where
-        T: std::ops::AddAssign<U>,
-    {
+    pub fn add(&mut self, mut idx: usize, val: T) {
         while idx < self.ary.len() {
             self.ary[idx] += val.clone();
             idx |= idx + 1;