semantic: Verify that arrays cannot be silently made mutable if const.