23 lines
492 B
Ada
23 lines
492 B
Ada
-- { dg-do compile }
|
|
-- { dg-options "-Wall" }
|
|
|
|
with Ada.Iterator_Interfaces;
|
|
|
|
procedure Warn17 is
|
|
|
|
type Cursor is null record;
|
|
|
|
function Has_Element (Position : Cursor) return Boolean;
|
|
|
|
function Has_Element (Position : Cursor) return Boolean is (True);
|
|
|
|
package My_Iterator is
|
|
new Ada.Iterator_Interfaces (Cursor, Has_Element);
|
|
|
|
type Iterator is abstract new My_Iterator.Forward_Iterator with null record;
|
|
|
|
pragma Unreferenced (Iterator);
|
|
begin
|
|
null;
|
|
end Warn17;
|