https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84489
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Known to work| |5.4.0 Keywords| |rejects-valid Last reconfirmed| |2018-02-21 CC| |msebor at gcc dot gnu.org Ever confirmed|0 |1 Summary|Non-type template parameter |[6/7/8 Regression] Non-type |dependency |template parameter | |dependency Known to fail| |6.4.0, 7.3.0, 8.0 --- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- The error is present with with the top of trunk. The first revision that fails to compile the code is r223301 (gcc 6.0.0). It refers to DR 1391 but I'm not sure that the DR has a bearing on whether the test case is valid. Other compilers including Clang, EDG, Intel ICC, and MSVC, successfully compile the code so I'll confirm this report as valid on that basis. r223301 | jason | 2015-05-18 13:14:11 -0400 (Mon, 18 May 2015) | 3 lines DR 1391 * pt.c (type_unification_real): Check convertibility here. (unify_one_argument): Not here.