1--  { dg-do compile }
2
3package limited1 is
4   pragma Pure;
5
6   type Buffer is limited interface;
7   type Synchronous_Buffer_Type is synchronized interface and Buffer;
8
9private
10end limited1;
11