I give Rust a lot of points for putting control over covariance into the language without making anyone remember which one is covariance and which one is contravariance.
Generally it’s not worth trying to fix this stuff. The type signature is hell to write and ends up being super complex if you get it to work at all. Write a cast or Any, document why it’s probably ok in a comment, and move on with your life. Pick your battles.