syntax_data: {"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"(ty::ImplPolarity::Reservation,"}]}
source_snippet:                     (ty::ImplPolarity::Reservation, _)
context_before:                 match (tcx.impl_polarity(def_id), obligation.polarity()) {
context_after:                     | (ty::ImplPolarity::Positive, ty::PredicatePolarity::Positive)