Why is this not something we want to directly match the TypeLocs via loc(type(..)).bind(...)? That would also help with the nested type problems (std::vector****) REPOSITORY rL LLVM http://reviews.llvm.org/D7714 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/