[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc-bugs
Subject:    [Bug c++/50545] [C++0x][DR 1172] SFINAE does not handle an explicit type conversion (functional nota
From:       "jason at gcc dot gnu.org" <gcc-bugzilla () gcc ! gnu ! org>
Date:       2012-08-31 15:07:40
Message-ID: bug-50545-4-KkUYuH7Luz () http ! gcc ! gnu ! org/bugzilla/
[Download RAW message or body]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50545

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-08-31 15:07:40 UTC ---
It was pointed out to me that 14.4 says,  "If an expression e involves a
template parameter, decltype(e) denotes a unique dependent type."

"involves a template parameter" is different from "is type-dependent", so G++
was clearly wrong.

Fixed by implementing instantiation-dependent in the way I think we should
resolve 1172.
[prev in list] [next in list] [prev in thread] [next in thread]