types that are less wrong in the ClassMethodVisitor