You can do f(int n, int (*a)[n]) and it does what it looks like, since C99.
What I want is -fbounds-safety from clang.
(and msvc is stuck on partial c11 support to this day, so imo, i don't quite think it's a fair target when comparing things to new features anyway)