This comment is invalidated by the change.

(The comments need to be kept up to date: they're taking the place of the compiler to "ensure"/justify safety.)