About better aliasing semantics for Box<T>