C'est incompatible avec la façon dont fonctionne l'héritage publique et le polymorphisme. Si B dérive de A, alors on doit pouvoir substituer un B partout où on attend un A* ou A&. Rendre la fonction inaccessible dans B (ce qui est possible d'ailleurs, suffit de la redéclarer private) ne changerait rien au fait qu'elle serait toujours accessible lorsque l'on manipule l'objet en tant que A&.
Et bon courage pour proposer quelque chose au comité de normalisation, c'est pas comme une bibliothèque pour laquelle on peut faire des suggestions sur un tracker
Les évolutions du langage se font je pense plutôt sur des points bien connus et discutés depuis longtemps. Si quelqu'un vient proposer tout à coup une "fonctionnalité" nouvelle à laquelle personne n'avait pensé, et donc qui ne résoud probablement pas de problématique connue, ce serait louche.
En plus la norme vient de subir une évolution majeure, la prochaine ne se fera pas avant plusieurs années.