[pjc50]

> But you can't do everything that C does without using unsafe blocks

How much of this is actually 100% unambiguously necessary? Is there a good reason why anything in the filesystem code at all needs to be unsafe?

I suspect it's a very small subset needed in a few places.

[nicce]

Usually avoidance of copying or moving data is the primary reason. In filesystems, this is quite highlighted.