fix Issue 12025 - Wrong purity violation accessing the length of a fixed size array