<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><span class="vcard"><a class="email" href="mailto:richard-llvm@metafoo.co.uk" title="Richard Smith <richard-llvm@metafoo.co.uk>"> <span class="fn">Richard Smith</span></a>
</span> changed
          <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - Recursive variable template function abnormal behaviour when in namespace"
   href="https://bugs.llvm.org/show_bug.cgi?id=33588">bug 33588</a>
          <br>
             <table border="1" cellspacing="0" cellpadding="8">
          <tr>
            <th>What</th>
            <th>Removed</th>
            <th>Added</th>
          </tr>

         <tr>
           <td style="text-align:right;">Status</td>
           <td>NEW
           </td>
           <td>RESOLVED
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">CC</td>
           <td>
                
           </td>
           <td>richard-llvm@metafoo.co.uk
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">Resolution</td>
           <td>---
           </td>
           <td>INVALID
           </td>
         </tr></table>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - Recursive variable template function abnormal behaviour when in namespace"
   href="https://bugs.llvm.org/show_bug.cgi?id=33588#c1">Comment # 1</a>
              on <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - Recursive variable template function abnormal behaviour when in namespace"
   href="https://bugs.llvm.org/show_bug.cgi?id=33588">bug 33588</a>
              from <span class="vcard"><a class="email" href="mailto:richard-llvm@metafoo.co.uk" title="Richard Smith <richard-llvm@metafoo.co.uk>"> <span class="fn">Richard Smith</span></a>
</span></b>
        <pre>This is an MSVC bug, due to their missing / incorrect implementation of
two-phase name lookup.

Within the second definition of f:

    template <std::size_t x, typename ... Args>
    auto f(const M<x>& , Args && ... args)
    {
        return f(args...);
    }

... the third 'f' has not yet been declared and thus is not found by
unqualified name lookup. So once the recursion reaches this overload, it can
never "go back" to the third overload.

If the namespace is removed, the third overload can be found by
argument-dependent name lookup.</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>