Language lawyer question: Limited Views

[Maxim Reznik <reznikmm@gmail.com>]

Consider
package Pkg is
   type T;
   type T is null record;
end Pkg;

According to 10.1.1(12.3/2)
"The limited view of a package contains: ... For each type_declaration
in the visible part, an incomplete view of the type..."

limited view for it would be:

package limited view Pkg is
   type T;  --  for declaration type T;
   type T;  --  for declaration type T is null record;
end Pkg;

Why two implicit declaration of T are allowed here?
Is second "type T;" completion for first?

PS Happy New Year!
--
Maxim Reznik