syntax_data: {"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"has_impl:"}]}
source_snippet:         has_impl: infcx.predicate_must_hold_modulo_regions(&partial_eq_obligation),
context_before:     PartialEqImplStatus {
context_after:         is_derived: automatically_derived,