strange behaviour with nested WITH statements.

[Curt Carpenter]

No, it is _not_ correct and the reason is very simple, in an array the bounds are part of the _data type_ definition.  Simply ignoring the bounds as FPC does is like suddenly treating a string as a floating point because the compiler found it convenient and less work than to treat it as what it really is.
...

I'd add that willfully violating array bounds, even when it may be possible/useful/clever, is hardly a prescription for writing reader-friendly code.   Not that all code is written with some future maintainer in mind...