Re: Generics with concrete and class-wide types

This works:

package Classwide is

  function Get (Iterator: My_Stuff.My_Iterator'Class) return Integer;

  procedure Classwide_Procedure is new Some_Procedure
    (Element       => Integer,
     Iterator_Type => My_Stuff.My_Iterator'Class,
     Get           => Get);

end Classwide;
package body Classwide is

  function Get (Iterator: My_Stuff.My_Iterator'Class) return Integer
is
  begin
    return My_Stuff.Get (Iterator);
  end Get;

end Classwide;