https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119624
--- Comment #6 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Please see the recent "discarded" papers, which attempt to establish a notion of "discarded relative" which is what's actually wanted (for e.g. establishing whether something is a constant expression).
