https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57857
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Known to fail| |5.5.0 Keywords| |rejects-valid See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=71187 Known to work| |6.1.0 Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- GCC 6+ produces: <source>: In instantiation of 'decltype (foo<T>()) bar(T) [with T = int; decltype (foo<T>()) = int]': <source>:13:8: required from here <source>:10:1: warning: no return statement in function returning non-void [-Wreturn-type] } ^ And no calling of the static_assert .