Is This Correct Ada or VMS Ada Compiler?

[arya@hawk.ulowell.edu (Arun Arya)]

Does Ada make types exported from generic packages that are
expressions on formal arguments identical to the passed type arguments?

generic
	type t is limited private;
package p is
	subtype tt is t;
	type xyz is array (1..10) of t;
end p;

with p;
procedure generictest is
	package q is new p(integer);
	x: integer;
	y: q.tt;
	z: q.xyz;
begin
	x := y;
	y := x;
	x := z(2);
end generictest;

Compiles without error on VMS.