1-- { dg-do compile }
2-- { dg-options "-gnatc" }
3
4package Task1 is
5
6   type Cable_Task_1 (C : Boolean) is limited private;
7
8   type Cable_Rec is limited record
9      Tsk_1 : Cable_Task_1 (C => False);
10   end record;
11
12private
13   task type Cable_Task_1 (C : Boolean) is
14end Cable_Task_1;
15
16end Task1;
17