Type annotations on C-style arrays are recognized now