Is there a way to match anyType? I think either anything matcher should be bindable or we should have a bindable anyType matcher. Rationale: you may want to make several binds on different types, and in the callback check if they are the same. http://llvm-reviews.chandlerc.com/D47