If the compiler can prove that a (private) member of a class is never used, including by potential friends, does the standard allow the compiler to remove this member from t
