1-- { dg-do compile }
2
3procedure Slice9 is
4
5  function Ident (I : Integer) return Integer is
6  begin
7    return I;
8  end;
9
10  subtype S is String (Ident(5)..Ident(9));
11
12  Dest : S;
13
14  Src : String (Ident(1)..Ident(5)) := "ABCDE";
15
16begin
17  Dest (Ident(5)..Ident(7)) := Src (Ident(1)..Ident(3));
18end;
19