Read-Only promotion for single array-access assigments [ci skip]