syntax_data: {"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"None,"}]}
source_snippet:                 None,
context_before:                 normalized_obligations.iter().find(|p| not_outlives_predicate(p.predicate)),
context_after:             );