I've run into a situation where I'm trying to prove something along the lines of this: for some type
<T as Future>::Output == U where U: Try. I know how to prove both
<T as Future>::Output and
where U: Try separately using
InferCtxt::predicate_may_hold, but I don't know how to construct an obligation for both.
Does anyone have any ideas about how I could go about doing this?
I've also ran into situations where this would be useful, anyone have any ideas?
I’ve made some attempts at this by including the
TraitPredicate in the
param_env of the
Obligation with both the
ProjectionPredicate referencing the same type variable but none of them have worked