Он работает не так, как стдлибный

s/nightly/Rust/

Да, у стдлибы особый статус. Майк утверждал, что это не мешает другим написать реализацию.

Можешь допилить, если хочешь, я привел тебе пример

Ты не привёл никакого примера возражения на мой аргумент. Твой бокс всё ещё алиасится с точки зрения LLVM.

Принято

(Я удивлён, что Unique<T> не экспортируется из core, на самом деле)

+, я если честно думал, что он есть

Его оказывается убрали год назад

на корректность это не влияет
будет менее эффективный код, ну ок чо

и тем не менее https://manishearth.github.io/blog/2017/01/10/rust-tidbits-box-is-special/

я спорил с этим утверждением
с тем что "бокс особенный" или "стдлиба особенная" я не спорю

ну тогда это будет не совсем та stdlib что есть сейчас

раскроешь мысль?

ну box будет другой,
как минимум вот такие вещи будут невозможны
The third one is the one that really gets to us here3. For a regular type, *foo will produce a temporary that must be immediately borrowed or copied. You cannot do let x = *y for a non-Copy type. This dereference operation will call DerefMut::deref_mut or Deref::deref based on how it gets borrowed. With Box<T>, you can do this:
let x = Box::new(vec![1,2,3,4]);
let y = *x; // moves the vec out into y, then deallocates the box
           // but does not call a destructor on the vec

вообщем типчики будут немного другие

кстати что насчет оптимизаций связанных с Option<&T>

тоже нельзя будет

Это засчет NotNull достигается, насколько я знаю

mod internal { pub struct Internal; }

Методы принимающие Internal как один из аргументов, никто не вызовет.

Недавно видел такой хак чуть ли не в токио 🤔