syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> ProjectionMatchesProjection {
context_before:         potentially_unnormalized_candidates: bool,
context_after:         debug_assert_eq!(obligation.predicate.def_id, env_predicate.item_def_id());