Hello. I just noticed that, in file TypeNodes.def, there is no entry for DependentTypeOfExprType As a consequence, there is no corresponding visiting method in TypeVisitor: I guess these nodes get visited by VisitTypeOfExprType() due to public inheritance. Is this what was really meant? Cheers, Enea Zaffanella.