- The failing assertion is p1.len() == p2.len(), where p1 = (s.len() as usize).ghost_serialize() and p2 = (o.len() as usize).ghost_serialize(). - This is inside the ...
- 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