<div><div><div dir="auto">This would be great for tooling, thank you!</div></div><div dir="auto"><br></div><div><div class="gmail_quote"></div></div></div><div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div> - what's the type of the expression when we can't guess? (IntTy in the patch)</div></div></blockquote><div dir="auto"><br></div></div><div><div dir="auto">I think some kind of synthetic “unknown type”, not convertible to anything, would be helpful here - so it’s guaranteed `foo(bar())` won’t pick an unwanted overload if `bar()` is a RecoveryExpr, and `foo()` has several overloads. It might also be somewhat useful in other places - i.e. as a placeholder for not yet deduced init-lists (it uses VoidTy now IIRC).</div><div dir="auto"><br></div><div dir="auto">It would also be great if the overload set could be captured in the RecoveryExpr (or does it already? I haven’t look too carefully, sorry) - so the tools can offset navigation with several targets on a failed overloaded function call without resorting to dealing with compiler diagnostic messages - and it might be possible to do features like “parameter info” on the AST, without reparsing?  Ex: `foo(/* hint possible parameters here from all available overloads*/);` - now it requires reparsing in code-completion mode, if I’m not mistaken.</div><div dir="auto"><br></div><div dir="auto">—</div><div dir="auto">Dmitry.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div></div></div></blockquote>
</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Best regards,<br>Dmitry Kozhevnikov<br>CLion Team Lead<br>JetBrains<br><a href="http://www.jetbrains.com" target="_blank">http://www.jetbrains.com</a><br>The Drive To Develop</div></div></div>