¿Por qué el verificador de préstamo de Rust no puede aprovechar los límites de `’static`?

Considera el siguiente programa Rust:

#![feature(generic_associated_types)]

pub trait Func {
    type Input<'a>;
    type Output;

    fn call(self, input: Self::Input<'_>) -> Self::Output;
}

fn invoke<'cx, F>(f: F, ctx: &'cx mut u8)
    where F: 'static + Func<input<'cx> = &'cx u8, Output = u8>,
{
    let input = &*ctx;
    let out = f.call(input);
    *ctx = out;
}

He utilizado #![feature(generic_associated_types)], pero creo que la pregunta que estoy haciendo sigue siendo relevante si mueves 'a de Func::Input a Func y utilizas un límite de rasgo de rango superior en invoke.

Este código genera errores, pero no creo que sea incorrecto:

error[E0506]: cannot assign to `*ctx` because it is borrowed
  --> src/lib.rs:15:5
   |
10 | fn invoke<'cx, F>(f: F, ctx: &'cx mut u8)
   |         --- lifetime `'cx` defined here
...
13 |     let input = &*ctx;
   |                 ----- borrow of `*ctx` occurs here
14 |     let out = f.call(input);
   |               ------------- argument requires that `*ctx` is borrowed for `'cx`
15 |     *ctx = out;
   |     ^^^^^^^^^^ assignment to borrowed `*ctx` occurs here

Primero, ctx se referencea de nuevo como input, que se pasa a f.call y luego nunca se utiliza de nuevo. f.call devuelve un valor que no contiene ninguna lifetime (u8: 'static), por lo que no hay ninguna conexión entre out y ctx.

De la misma manera, el tipo de f no contiene ninguna lifetime (F: 'static), por lo que no puede contener una referencia con lifetime 'cx. Además, la lifetime 'cx no se puede convertir de forma segura a 'static dentro de call, por lo que no hay forma de “sacar” una referencia con esa lifetime que sea accesible más allá de la invocación de f.call. Por lo tanto, no veo cómo algo puede hacer referencia a ctx, y creo que asignarle un valor en la última línea debería ser válido.

¿Me estoy perdiendo algo? ¿Aceptar este código sería incorrecto? Si no, ¿por qué Rust no aprovecha los límites de 'static de esta manera?</input<‘cx>