I am quite happy with what you can do with C's types already today: https://godbolt.org/z/njzazY4n6

This is (almost *) bounds safety with -fsanitize=bounds

*) with some pending some compiler improvements it will be perfect

(edit: updated godbolt link)