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