Well, it's required if you're going to use unsafe code to hack around the mutability rules. Perhaps it shouldn't be mentioned at all, since it's just an edge case feature.