slice_layout_is_correct