gcc/testsuite/gnat.dg/specs/private1.ads - gcc - Git at Google

 package Private1 is
    type T is private;
 private
    type T is new Boolean;
 end Private1;
	package Private1 is
	type T is private;
	private
	type T is new Boolean;
	end Private1;