error[E0275]: overflow evaluating the requirement `<RefTFamily<T> as LifetimizedOutputFamily>::Output<'a> == _`

I was trying to implement a generic SelfBorrowingClosure based on https://users.rust-lang.org/t/why-closure-cannot-return-a-reference-to-data-moved-into-closure/72655/6 but got a problem compiling the following piece of code:

pub trait LifetimizedOutputFamily {
    type Output<'a>
    where 
        Self::Output<'a>: 'a;
}

pub struct RefTFamily<T>(core::marker::PhantomData<*const T>);

impl<T> LifetimizedOutputFamily for RefTFamily<T>
{
    type Output<'a> = &'a T
    where
        T: 'a;
}

pub struct SelfBorrowingClosure<State, F, OutputFam>
where
    OutputFam: LifetimizedOutputFamily,
    F: Fn(&'_ State) -> <OutputFam as LifetimizedOutputFamily>::Output<'_>,
{
    pub state: State,
    pub call: F,
    pub output_family: core::marker::PhantomData<*const OutputFam>,
}

impl<State, F, OutputFam> SelfBorrowingClosure<State, F, OutputFam>
where
    OutputFam: LifetimizedOutputFamily,
    F: Fn(&'_ State) -> <OutputFam as LifetimizedOutputFamily>::Output<'_>,
{
    pub fn new(state: State, call: F) -> Self {
        Self {
            state,
            call,
            output_family: core::marker::PhantomData,
        }
    }

    pub fn call(&self) -> <OutputFam as LifetimizedOutputFamily>::Output<'_> {
        (self.call)(&self.state)
    }
}

Minimal Reproducible Example (MRE):

pub trait LifetimizedOutputFamily {
    type Output<'a>
    where 
        Self::Output<'a>: 'a;
}

pub struct RefTFamily<T>(core::marker::PhantomData<*const T>);

impl<T> LifetimizedOutputFamily for RefTFamily<T>
{
    type Output<'a> = &'a T
    where
        T: 'a;
}

Error:

error[E0275]: overflow evaluating the requirement `<RefTFamily<T> as LifetimizedOutputFamily>::Output<'a> == _`
  --> src\lib.rs:11:5
   |
11 |     type Output<'a> = &'a T
   |     ^^^^^^^^^^^^^^^

Start by reproducing the Minimal Reproducible Example in src/lib.rs and inspect the compiler output at the reported type alias line. Trace how the LifetimizedOutputFamily implementation evaluates Output<'a>; done means establishing and implementing the appropriate compiler behavior for this overflow, with regression coverage if the relevant test location is identified.