[Bug c++/103569] Type alias from result of lambda call in unevaluated context, used in template, is inconsistent
pinskia at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Tue Dec 7 01:25:15 GMT 2021
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103569
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Keywords| |rejects-valid, wrong-code
Last reconfirmed| |2021-12-07
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed. I get the feeling like integer promotion is happening for some
reason when it should not be.
Note:
static_assert(std::is_same_v<int, decltype(p)>); // !!!!!!
Should really be:
static_assert(!std::is_same_v<int, decltype(p)>); // !!!!!!
if we want a testcase that goes into the testsuite.
More information about the Gcc-bugs
mailing list