{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"(ty::Adt(_,"}]}
            (ty::Adt(_, args), _) => UserArgs { args, user_self_ty: None },
        match (ty.raw.kind(), ty.normalized.kind()) {
            (_, ty::Adt(adt, args)) => UserArgs {