{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"constant.const_.ty(),"}]}
                        constant.const_.ty(),
                    self.ascribe_user_type(
                        ty::UserType::new(ty::UserTypeKind::TypeOf(