Limited Type Access

[ANH_VO@udlp.com]

Greeting,

I could not figure out why the codes below compiled without any error. My
thought was that access type of a limited type is considered limited. Therefore,
Object type must be limited because its component is limited. What did I miss?
Thanks for your help.

Anh Vo

package Limited_Access is

   protected type Counting ( Start_Count : Positive := 1) is
      entry Secure;
      procedure Release;
      
   private
      Current_Count : Natural := Start_Count;
   end Counting;
   
   subtype Binary is Counting (Start_Count => 1);
   
   type Binary_Access is access all Binary;
   
   type Object is 
      record
         Sem : Binary_Access;
      end record;

end Limited_Access;