gcc/testsuite/gnat.dg/expr_func7.ads

   1 package Expr_Func7 is
   2
   3    type Abstract_Food is tagged null record;
   4    type Abstract_Food_Access is access Abstract_Food'Class;
   5
   6    type Fruit is new Abstract_Food with record
   7       Worm : Boolean;
   8    end record;
   9
  10    type Bananas is tagged record
  11       Inside : Abstract_Food_Access;
  12    end record;
  13
  14    function Has_Worm
  15      (B : Bananas) return Boolean is (Fruit (B.Inside.all).Worm);
  16
  17    Cool : Bananas;
  18
  19    procedure Dummy;
  20 end Expr_Func7;