[Bug c++/84489] [6/7/8 Regression] Non-type template parameter dependency

[msebor at gcc dot gnu.org]

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.