<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">+    // FIXME: Don't do the lookups if argument dependent lookup is required as<br>
+    // this will break test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp<br>
<br>
Is this FIXME still relevant, given that we're doing the appropriate requiresADL check?<br></blockquote><div><br>I've found a problem with the simple ADL check in CorrectTypo... with it, common cases we want to suggest corrections for such as:<br>
<br><div style="margin-left: 40px;">namespace fizbin {<br>  namespace nested { bool moreFoobar() { return true; } }<br>}<br>void foo() {<br>  moreFoobar();<br>}<br></div></div></div><br>give:<br><br><div style="margin-left: 40px;">
tmp.cpp:5:3: error: use of undeclared identifier 'moreFoobar'<br>  moreFoobar();<br>  ^<br>1 error generated.<br></div><br>instead of:<br><br><div style="margin-left: 40px;">tmp.cpp:5:3: error: use of undeclared identifier 'moreFoobar'; did you mean<br>
      'fizbin::nested::moreFoobar'?<br>  moreFoobar();<br>  ^~~~~~~~~~<br>  fizbin::nested::moreFoobar<br>tmp.cpp:2:27: note: 'fizbin::nested::moreFoobar' declared here<br>  namespace nested { bool moreFoobar() { return true; } }<br>
</div><br>but without the check, basic.lookup.argdep/p4.cpp reports:<br><br><div style="margin-left: 40px;">error: 'error' diagnostics seen but not expected: <br>  Line 35: no viable conversion from 'B::B' to 'C::C'<br>
error: 'note' diagnostics seen but not expected: <br>  Line 23: 'C::func' declared here<br>  Line 22: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'B::B' to 'const C::C &' for 1st argument<br>
  Line 23: passing argument to parameter here<br>4 errors generated.<br></div><br>Ideas?<br><br>- Kaelyn<br>