I am not so sure. A purely type-system-based API (in place initialization + MaybeUninit ?) or a new "static" Vec type can already solve most of the problems with Box::new([val; N]).

Right, that's why I think it's possible, but not for sure. There are other ways than new value categories to solve these problems.