The transmute from the local lifetime `'boxed_resolver` to `'static` is already performed by the two transmutes above. The call to make_resolver substitutes quantified `'a` into `'static`. Therefore, this last one should not be necessary.