Yes, but did the programmer tell the type system that they are expecting an OffsetArray, they have tested it, and it will work correctly? The existence of a me

Yes, but did the programmer tell the type system that they are expecting an OffsetArray, they have tested it, and it will work correctly? The existence of a mechanism does not guarantee its correct use. As that link demonstrates.