improved sema for argument-dependent array bound specifiers