https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57460
--- Comment #2 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Jason Merrill from comment #1) > But there is no T that would cause check<(EXPR,T())> to be valid, so no > valid specialization can be generated for the template, so the program is > ill-formed (no diagnostic required). After rethinking about it, I agree.
