pub trait Dx<'a, A, B, C: 'a>: Fn(&'a mut C, A) -> BorrowRec<'a, Result<B>> + Send + Sync + 'static { }
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".