Some kind of repeating in Static_Predicate

[ytomino <aghia05@gmail.com>]

Hello.

I'm trying to use a constant table (but that is unstable and may be changed in compile-time) in Static_Predicate.

 Set : constant String := ('T', 'a', 'b', 'l', 'e');
 
 subtype T is Character
    with Static_predicate => (for some I of Set => X = I);

Of cause, quantified expression in the static context is illegal.

 xx.ads:6:33: expression is not predicate-static (RM 3.2.4(16-22))

So, it have to be rewrote to

 subtype T is Character
    with Static_Predicate =>
       (T = Set (1)
          or else (Set'Last >= 2 and then T = Set (2))
          or else (Set'Last >= 3 and then T = Set (3))
          or else (Set'Last >= 4 and then T = Set (4))
          ...);

This looks stupid.
Is there any good alternative?

Thank you.