1generic
2   type T is private;
3   None : T;
4package Warn20_Pkg is
5   generic
6      with procedure Dispatch (X : T) is null;
7   procedure Foo;
8end;
9