gcc/testsuite/gnat.dg/sync_iface_test.adb

   1 --  { dg-do compile }
   2 package body Sync_Iface_Test is
   3    protected body Buffer is
   4       procedure Dummy is begin null; end;
   5    end;
   6
   7    function First (Obj : Buffer) return Natural is
   8    begin
   9      return 0;
  10    end;
  11
  12    procedure Do_Test (Dummy : Natural; Item : Buffer)
  13    is
  14       Position1 : Natural := First (Item);
  15       Position2 : Natural := Item.First;   --  Problem here
  16    begin
  17       null;
  18    end;
  19 end;