Build a zero element array type that reliably renders as T[0] in diagnostcs.