Как я понял срез это просто ссылки на элементы массива, а значит не будет выделяться память ?

Если вынести за скобки "boxed slice" (Box<[u8]>, см. https://doc.rust-lang.org/reference/types/slice.html ), то обычные срезы (`&[u8]` и `&mut [u8]`) никакой дополнительной памяти не выделяют - только указатель на первый элемент + usize для хранения количества элементов.

Равноценен ли массив с ссылками на элементы другого массива - срезу ?

`[&u8]`? Нет - как минимум потому, что потребует места под хранение указателя на каждый элемент.

Допустим у меня массив байтов и мне нужно его превратить в строку.

https://doc.rust-lang.org/std/str/fn.from_utf8.html

> Почему я должен писать тут Empty, если компилируется и без этого?

Само перечисление без Elem компилируется, но вот сконструировать реальный список без завершающего пустого узла не выйдет, потому что он должен был бы быть бесконечным.

> Что такое Elem?

Это один из вариантов объявляемого перечисления List, который содержит два безымянных поля понятно каких типов.

> Я не обьявлял ее дополнительно и не нашел ее упоминания в документации, но оно работает.

Это просто простейший синтаксис перечислений (enum'ов), который в любом учебнике по расту описывается, например в растбуке: https://doc.rust-lang.org/book/ch06-01-defining-an...

https://stackoverflow.com/questions/30073684/how-t...

TLDR: ты хочешь https://doc.rust-lang.org/std/primitive.slice.html... потому что Ржавчина разрешает иметь только одну активную изменяющую ссылку на сущность, а знание о том, как устроен срез/вектор в язык не зашито, т.е. это решается функциями с unsafe внутри.

Почему: потому что крейт добавлен как просто зависимость, пускай и локальная.

Как исправить: Добавить reverse в workspace: https://doc.rust-lang.org/book/ch14-03-cargo-works...

[workspace]
members = ["reverse"]

(Не надо кидать код картинкой)

MCVE для твоей ошибки выглядит так:

fn foo<T>(a: T) -> (T, T) {
    (a, a)
}

fn main() {
    foo(1);
}

playground

Как и написано в ошибке, дело в том, что используемый тобой типаж `T` не требует маркерного типажа Copy, а значит переменные с его типом при первом складывании в поле структуры перемещаются, т.е. во второе поле класть уже нечего.

Самый простой способ исправить ошибки в данном случае - добавить требование Copy:

fn foo<T: Copy>(a: T) -> (T, T) {
    (a, a)
}

Playground

Но типаж Copy работает только для POD типов, для более сложных типов в такой ситуации нужен уже типаж Clone.