gcc/testsuite/gnat.dg/tagged_prefix_call.adb

   1 --  { dg-do compile }
   2
   3 procedure Tagged_Prefix_Call is
   4
   5    package Defs is
   6       type Database_Connection_Record is abstract tagged null record;
   7       type Database_Connection is access all Database_Connection_Record'Class;
   8
   9       procedure Start_Transaction
  10         (Self : not null access Database_Connection_Record'Class)
  11       is null;
  12
  13       type DB_Connection (Elem : access Database_Connection)
  14       is null record
  15         with Implicit_Dereference => Elem;
  16    end Defs;
  17
  18    use Defs;
  19
  20    DB  : DB_Connection(null);
  21
  22 begin
  23    DB.Start_Transaction;
  24 end Tagged_Prefix_Call;