I am quite happy with what you can do with C's types already today: https://godbolt.org/z/njzazY4n6 https://godbolt.org/z/njzazY4n6 This is (almost *) bounds s

I am quite happy with what you can do with C's types already today: https://godbolt.org/z/njzazY4n6 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)