The result type of EXTRACT_VECTOR_ELT doesn't have to match the element type of