{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":")"}]}
) -> Result<(ty::Binder<I, (I::FnInputTys, I::Ty)>, I::DefId, I::GenericArgs), NoSolution> {
    self_ty: I::Ty,
    match self_ty.kind() {