gcc/testsuite/gnat.dg/specs/lto3_pkg1.ads

-- { dg-excess-errors "no code generated" }

with Lto3_Pkg2;

generic
  type Id_T is range <>;
package Lto3_Pkg1 is

  type Variable_Data_T (Fixed : Boolean := False) is
    record
      case Fixed is
        when True =>
          Length : Natural;
        when False =>
          null;
      end case;
    end record;

  function Is_Fixed return Boolean;

  type Variable_Data_Fixed_T is new Variable_Data_T (Is_Fixed);

  package Db is new Lto3_Pkg2 (Id_T => Id_T,
                               Data_T => Variable_Data_Fixed_T);

end Lto3_Pkg1;