Previously, they were treated like ~[] and &[] (which can have length 0), but fixed length vectors are fixed length, i.e. we know at compile time if it's possible to have length zero (which is only for [T, .. 0]). Fixes #11659.
