{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.visit_user_type_projection(user_ty);"}]}
                self.visit_user_type_projection(user_ty);
                );
            }