{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"ty::UserTypeKind::TypeOf(def_id,"}]}
                ty::UserTypeKind::TypeOf(def_id, UserArgs { args, user_self_ty }),
            let canonicalized = self.canonicalize_user_type_annotation(ty::UserType::new(
            ));