about `check_bound` in slice
make array_view(T *, size_type) ctor implicit
improve a title and an example