http://llvm.org/bugs/show_bug.cgi?id=10349

Richard Smith <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |[email protected]
         Resolution|                            |FIXED

--- Comment #2 from Richard Smith <[email protected]> 2012-11-19 
15:22:18 CST ---
Right, we are now properly rejecting this.

template_foo.cpp:31:15: error: no matching function for call to
'type_constructor'
    decltype( type_constructor( &Y::bar ) ) x(y);
              ^~~~~~~~~~~~~~~~
template_foo.cpp:18:6: note: candidate template ignored: substitution failure
[with T = Y]: non-type template
      argument of type 'void (Y::*const)()' is not a constant expression
auto type_constructor( void (T::* const f)() ) -> X< T, f >;
     ^                                                  ~

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to