variant_part.ads

来自「用于进行gcc测试」· ADS 代码 · 共 9 行

-- { dg-do compile }
package Variant_Part is
   type T1(b: boolean) is record
     case (b) is    -- { dg-error "discriminant name may not be parenthesized" }
        when others => null;
     end case;
   end record;
end Variant_Part;