Arithmetic on Generic types #503

Let's say I have the following code.

_For_any(T) void func(_Array_ptr<T> ptr) {
    ptr++;
}

int main() {
    char *ptr;
    func<char>(ptr);
}

Currently Checked C doesn't support arithmetic on generic types:

error: arithmetic on a pointer to an incomplete type 'T' (aka '(0, 0)')
    ptr++;
    ~~~^
1 error generated.

Is there another way we can write it such that we can keep the checked pointer and do arithmetic as well?
Note that this function needs to have generic type.