<div>-/// To and T are in the same type hierarchy, and thus dyn_cast can be</div><div>-/// called to convert a To to a T.</div><div>+///   ArgumentAdaptingMatcher<HasMatcher, T>(InnerMatcher);</div><div><br></div><div>
I'd keep the "To and T ..." sentence, as it helps understanding.</div><div><br></div><div>Also please include an explanation of the CXXMemberCall change in the commit message, as it is a somewhat unrelated change.</div>
<div><br></div><div>The rest looks good to me.</div><div><br></div><div>Cheers,<br>Daniel</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jul 19, 2012 at 7:26 PM, Manuel Klimek <span dir="ltr"><<a href="mailto:klimek@google.com" target="_blank">klimek@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This patch implements one of Chandler's wishes:<br>
<br>
You can now say:<br>
record(hasName("::X")).bind("x")<br>
instead of<br>
id("x", record(hasName("::X"))<br>
<br>
We also now allow binding only on the dynamic cast matchers (which are<br>
the ones named with nouns in the language),<br>
as those don't introduce ambiguities on which part is bound (the node<br>
the matcher is a predicate on, or the node<br>
the matcher's submatchers will be matched on).<br>
<br>
Also fixes some minor issues that were in the way of the bind change.<br>
<br>
We don't change all users of id() yet - I first want to merge the<br>
tooling branch and make sure we don't run into anything<br>
unexpected.<br>
<br>
Cheers,<br>
/Manuel<br>
</blockquote></div><br></div>