| -- { dg-do compile } | |
| package tag2 is | |
| type I is synchronized interface; | |
| type T1 is tagged; | |
| type T2 is tagged; | |
| type T3 is tagged; | |
| type T4 is tagged; | |
| type T5 is tagged; | |
| type T6 is tagged; | |
| protected type T1 is end T1; -- { dg-error "must be a tagged type" } | |
| task type T2; -- { dg-error "must be a tagged type" } | |
| type T3 is null record; -- { dg-error "must be a tagged type" } | |
| task type T4 is new I with end; | |
| protected type T5 is new I with end; | |
| type T6 is tagged null record; | |
| end tag2; |