[Bug c++/50711] New: [C++0x] substitution failure reports error with result_of

["jarrydb at cse dot unsw.edu.au" <gcc-bugzilla at gcc dot gnu dot org>]

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

             Bug #: 50711
           Summary: [C++0x] substitution failure reports error with
                    result_of
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jarrydb@cse.unsw.edu.au
              Host: x86_64-unknown-linux-gnu
            Target: x86_64-unknown-linux-gnu
             Build: x86_64-unknown-linux-gnu


Created attachment 25479
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25479
substitution failure error

The attached file produces an error. I believe that the templated "get"
function should fail, leaving the non templated function as the only valid
choice, not reporting an error, but choosing the non templated function.

Compiled with:
g++ substitution.cpp -std=gnu++0x -save-temps

gcc -v

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/jarrydb/current/soft/install-latest/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/jarrydb/current/soft/src/gcc-git/configure
--prefix=/home/jarrydb/current/soft/install-latest --disable-multilib
--enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20111011 (experimental) (GCC)