Dimitri, I think the visitor still needs to verify that there is no other implicit cast within the sequence of nested explicit casts and although we could avoid checking the top-most explicit cast we still need to get its sub-expression and I think this way is a little more readable. http://llvm-reviews.chandlerc.com/D507