var
  s: [3]Int
  p: ^Int

program()
begin
  p := @s[1 to 2] (* @Error Expression of type '\[\]Int' is not addressable *)
end.