[PATCH] D128745: [c++] implements DR692, DR1395 and tentatively DR1432, about partial ordering of variadic template partial specialization or function template

[Erich Keane via Phabricator via cfe-commits]

erichkeane added a comment.

Is there any ability here to diagnose the difference?  It would probably be helpful if at any point (in both directions!) we diagnose that our behavior changes.  We did something similar for the reversible operators at one point (but WG21 might have fixed it since?).

IMO, if we decide that a DR is 'too breaking' to implement in all language modes it applies to, we shouldn't implement it at all, and instead should question the standards committee about their breaks.  Flipping it based on language version increases the friction (in a silent and really breaking way!) to switch language modes.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D128745/new/

https://reviews.llvm.org/D128745