Verified how to inject ArrayRef