Monomorfización

El código genérico se convierte en código no genérico en función de los sitios de llamada:

fn main() {
    let integer = Some(5);
    let float = Some(5.0);
}

se comporta como si se hubiera escrito

enum Option_i32 {
    Some(i32),
    None,
}

enum Option_f64 {
    Some(f64),
    None,
}

fn main() {
    let integer = Option_i32::Some(5);
    let float = Option_f64::Some(5.0);
}

Se trata de una abstracción sin coste: se obtiene exactamente el mismo resultado que si se hubiesen programado de forma manual las estructuras de datos sin la abstracción.