Change WordPress user roles and capabilities › Forums › Bug Reports › Edit selected posts › Reply To: Edit selected posts
This article is still up to date. Look at it as documentation page. Yes, it was written some months ago, but it describes a working feature, may be except of some minor changes.
Can this user edit posts or pages? “Posts/Pages/Custom Post Types Editor Restrictions” section is shown is a user profile page only for users who can edit posts or pages. Settings from this section does not bring to a user any new permissions. All it is about to restrict the existing editing access, narrow down it.
You will not see this section at user profile, if a user has ‘administrator’ role. There is no sense to restrict site super administrator.