https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114569
--- Comment #2 from Jason Liam <jlame646 at gmail dot com> --- (In reply to Marek Polacek from comment #1) > So the code should compile. But https://timsong-cpp.github.io/cppwp/n4950/dcl.ptr#4.sentence-2 says: > [Note 1: [...] Forming a function pointer type is ill-formed if the function > type has cv-qualifiers or a ref-qualifier; see [dcl.fct]. [...]] And since `FTDecay<int()&>` is `int (*)() &`, this should be ill-formed?