change in the type hint because we ensure the array object previously to the call