- In this proof, we implicitly have the trait’s requires available: self.is_marshalable(), other.is_marshalable(), and self.ghost_serialize() == other.ghost ...
- From the trait, the intended context is: self.is_marshalable(), other.is_marshalable(), and self.ghost_serialize() == other.ghost_serialize(). The body does not use these facts, nor does it ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results