blob: 16bbde2c65be3ba937b51083f6821b658b35ffab [file] [log] [blame]
-- { dg-do compile }
package body Static_Pred1 is
type Enum_Type is (A, B, C);
subtype Enum_Subrange is Enum_Type with Static_Predicate =>
Enum_Subrange in A | C;
function "not" (Kind : Enum_Subrange) return Enum_Subrange is
(case Kind is
when A => C,
when C => A);
procedure Dummy (Value : T) is
IK : Enum_Subrange := not A;
begin
null;
end Dummy;
end Static_Pred1;