[sledge] Equality.and_eq is part of the exposed interface
[sledge] Equality.and_eq is part of the exposed interface

Summary: So trace it and check invariant on return.

Reviewed By: ngorogiannis

Differential Revision: D19221878

fbshipit-source-id: ce05da740

facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer