{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"self.visit_ascribe_user_ty("}]}
                        self.visit_ascribe_user_ty(
                    StatementKind::AscribeUserType(box (place, user_ty), variance) => {
                            place,