Representing mathematical vectors using const generics: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=7fe5dd26135d20297441093328c545c5

vector.rs

// https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=7fe5dd26135d20297441093328c545c5

use std::ops::Add;

pub struct Vector<T, const LEN: usize>
where
    [T; LEN]:,
{
    elements: [T; LEN],
}

impl<T: Add<Output = T> + Copy, const LEN: usize> Add for Vector<T, { LEN }> {
    type Output = Self;

    fn add(self, rhs: Self) -> Self {
        let mut elements: [T; LEN] = self.elements;
        elements
            .iter_mut()
            .zip(rhs.elements.iter())
            .for_each(|(a, b)| *a = *a + *b);
        Self { elements }
    }
}

pub type Vector3 = Vector<f32, 3>;

fn main() {
    let a = Vector3 {
        elements: [0.0, 1.0, 2.0],
    };
    let b = Vector3 {
        elements: [0.0, 1.0, 2.0],
    };
    let result = a + b;
    println!("Vector3: {:?}", result.elements);
}