use std::ops::Add;

struct Point2d<T> {
   a: T,
   b: T
}

impl<T: Add<Output=T>> Add for Point2d<T> {
   type Output = Self;
   fn add(self, other: Self) -> Self::Output {
       Self {
           a: self.a + other.a,
           b: self.b + other.b,
       }
   }
}

fn main() {
   let x = Point2d { a: 0, b: 0 } + Point2d { a: 42, b: 42 };
   let y = Point2d { a: (), b: () } + Point2d { a: (), b: () };
   //  --> main.rs:21:38
   //   |
   //21 |     let y = Point2d { a: (), b: () } + Point2d { a: (), b: () };
   //   |             ------------------------ ^ ------------------------ Point2d<()>
   //   |             |
   //   |             Point2d<()>
   //   |
   //   = note: an implementation of `std::ops::Add` might be missing for `Point2d<()>`

}

template<typename A, typename B> struct pair { A a; B b;};

int main() {
 std::unordered_set<pair<int, int>> set;
}