https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98939
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note I think this paper applies to C++20 too or at least part of it. >From CWG1291: [Accepted at the November, 2020 meeting as part of paper P1787R6 and moved to DR at the February, 2021 meeting.]