https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71463
--- Comment #8 from Milian Wolff <mail at milianw dot de> --- As an interested bystander, may I ask: If the attribute is part of the type, shouldn't it then be transferred via decltype() and then also used in the template to trigger the warning there? To me, the example you gave shows a defect in GCC (no warning inside the template), and not a nice feature. What am I missing?