[Bug c++/50545] [C++0x][DR 1172] SFINAE does not handle an explicit type conversion (functional notation) with a braced-init-list well if target type is not dependent

[jason at gcc dot gnu.org]

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.