Reimar Grabowski :

> If you have "p: PINTEGER" then you're assuming you're accessing to ONE > integer. No, YOU assume that.

And the compiler, too:

-- 8< -- snip --
{$T+} // Typed pointers, or we can assign anything.
type
  IntArray  = array[0 .. 9] of Integer;
  pInteger  = ^Integer;
  pIntArray = ^IntArray;
var
  I  : Integer;
  A  : IntArray;
var
  PI : pInteger;
  PA : pIntArray;
begin
  PI := @I;
  PA := @A;
  //PI := @A; // Does not work, wrong type.
  WriteLn (SizeOf (PI^));
  WriteLn (SizeOf (PA^));
end.
-- 8< -- snip --

Output:

2
20

Vinzent.