pub trait Memory<T> {
    fn new(size: usize, max_size: usize, endianness: Endianness) -> Self;
    fn read_byte(&self, addr: usize) -> u8;
    fn write_byte(&mut self, addr: usize, val: u8);
    fn read_word<T>(&self, addr: usize) -> Result<T, Error>;
    fn write_word<T>(&mut self, addr: usize, val: T) -> Result<(), Error>;
}

вот последние два метода подразумевают, что длина может быть одной из u8, u16,u32,u64 соответственно.

impl Memory<u16> for Mem {
fn read_word(&self, addr: usize) -> Result<u16, Error>;
…
impl Memory<u32> for Mem {
fn read_word(&self, addr: usize) -> Result<u32, Error>;

И я хотел для каждого типа сделать явную реализацию, нежели пытаться сделать общую реализацию с плясками T
Но для разных реализаций выходит мне надо реализовывать каждый раз и другие методы read_byte, write_byte.

У тебя код неправильный. Ты два раза дженерик определяешь - в методе и в трейте.

а раст на это даже ворнинг не выдает?

ну фигово че. Если скрытие переменных в функции это ок, то например скрытие переменной поля или генериком на методе генерика на типе должно быть ворнином

У тебя код неправильный. Ты два раза дженерик определяешь - в методе и в трейте.

хм, а есть какой-то альтернативный способ перегрузить вот так вот? Или через type ?

да, возможно, я ещё плаваю в расте, но в раст бегиннерс не всегда отвечают 🙂

А какой смысл должен быть? Память, у которой размер word совпадает с T, или память, из которой можно читать word разного размера?

для конкретных типов можно задавать различное поведение генериков а-ля

impl Point<f32> {
    fn distance_from_origin(&self) -> f32 {
        (self.x.powi(2) + self.y.powi(2)).sqrt()
    }
}

а для трейнтов я так и не понял, как их сверху можно наложить. Возможно через Type = …

impl Point for ???

ну вот у меня есть интерфкйс (трейт), есть какая-то структура с методом, который надо реализовать для нескольких типов. Я пока не понимаю, что нужно вставлять в ???

ну вот у меня есть интерфкйс (трейт), есть какая-то структура с методом, который надо реализовать для нескольких типов. Я пока не понимаю, что нужно вставлять в ???