Oh, never mind, I read the diff backwards -- of course this is fine.

It looks like `DEFAULT` also implies writeable, so this is also a good change in that it no-longer forces copies of read-only arrays...