var
  slice: []Int
  array: [2]Int

begin
  slice.ptr := array.ptr (* @Error Cannot assign to a value of type 'const \^Int', because it is constant or contains constant members *)
end.