var
  s: [3]Int
  t: [2]Int

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