1-- { dg-do compile } 2 3with Text_IO; use Text_IO; 4 5procedure Object_Size1 is 6 type Zero_Size_Type is (Solo); 7 8 for Zero_Size_Type'Size use 0; 9 for Zero_Size_Type'Object_Size use 0; -- { dg-error "Object_Size must be positive" } 10begin 11 Put_Line (Zero_Size_Type'Size'Image); 12 Put_Line (Zero_Size_Type'Object_Size'Image); 13end Object_Size1; 14