+ TypeVisitorAA (type visitor with 2 arguments and void return value)