gnatdoc_25.0.0_8c5dade2/testsuite/executable/nocrash/issue_91_duplicate_equality_operator.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
with Ada.Finalization;

package Issue_91_Duplicate_Equality_Operator is

   type Vector is tagged private;
   
   overriding function "=" (Left : Vector; Right : Vector) return Boolean;
   
private
   
   type Vector is new Ada.Finalization.Controlled with null record;

end Issue_91_Duplicate_Equality_Operator;