```#[lang = "add"]
pub trait Add<RHS = Self> {
type Output;
#[must_use]
fn add(self, rhs: RHS) -> Self::Output;
}```

The addition operator `+`.

Note that `RHS` is `Self` by default, but this is not mandatory. For example, `std::time::SystemTime` implements `Add<Duration>`, which permits operations of the form `SystemTime = SystemTime + Duration`.

# Examples

## `Add`able points

```use std::ops::Add;

#[derive(Debug, PartialEq)]
struct Point {
x: i32,
y: i32,
}

type Output = Point;

fn add(self, other: Point) -> Point {
Point {
x: self.x + other.x,
y: self.y + other.y,
}
}
}

assert_eq!(Point { x: 1, y: 0 } + Point { x: 2, y: 3 },
Point { x: 3, y: 3 });Run```

## Implementing `Add` with generics

Here is an example of the same `Point` struct implementing the `Add` trait using generics.

```use std::ops::Add;

#[derive(Debug, PartialEq)]
struct Point<T> {
x: T,
y: T,
}

// Notice that the implementation uses the associated type `Output`.
type Output = Point<T>;

fn add(self, other: Point<T>) -> Point<T> {
Point {
x: self.x + other.x,
y: self.y + other.y,
}
}
}

assert_eq!(Point { x: 1, y: 0 } + Point { x: 2, y: 3 },
Point { x: 3, y: 3 });Run```

## Associated Types

### `type Output`

The resulting type after applying the `+` operator.

## Required Methods

### ```#[must_use] fn add(self, rhs: RHS) -> Self::Output```

Performs the `+` operation.