Region<n>::whole()
Create a mapping from an in-file position and an in-memory region.
The shape of the in-file region is deduced from that of the in-memory region. This constructor is not marked explicit, which allows casting from a Position.
Position