1--  { dg-do compile }
2--  { dg-options "-gnata -gnatws" }
3
4procedure Valid_Scalars1 is
5   type Ptr is access Integer;
6   V1 : Ptr;
7
8   Check : Boolean := V1'Valid_Scalars;
9begin
10   pragma Assert (Check);
11end;
12