syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"ty::PredicateKind::NormalizesTo(pred)"}]}
source_snippet:             ty::PredicateKind::NormalizesTo(pred) => Some(kind.rebind(pred)),
context_before:         match kind.skip_binder() {
context_after:             _ => None,