1-- { dg-do compile } 2 3package tag2 is 4 type I is synchronized interface; 5 type T1 is tagged; 6 type T2 is tagged; 7 type T3 is tagged; 8 type T4 is tagged; 9 type T5 is tagged; 10 type T6 is tagged; 11 protected type T1 is end T1; -- { dg-error "must be a tagged type" } 12 task type T2; -- { dg-error "must be a tagged type" } 13 type T3 is null record; -- { dg-error "must be a tagged type" } 14 task type T4 is new I with end; 15 protected type T5 is new I with end; 16 type T6 is tagged null record; 17end tag2; 18