Lifetimes for type params, “the parameter type may not live long enough”

Question

I have code like this (this is how #[async_trait] is expanded):

trait BoolTrait {
    fn check<\'s: \'f, \'v: \'f, \'f>(&\'s self, valu