Yes, it is possible that Rust will add more complexity here specifically, but also just in general. Just how it goes :)

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]).

	▲	steveklabnik 2 days ago \| parent [-]
		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.