Add safety preconditions to alloc/src/boxed/thin.rs

Add safety preconditions to alloc/src/boxed/thin.rs #1140