syntax_data: {"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"Answer::Yes"}]}
source_snippet:             Answer::Yes => PredicateObligations::new(),
context_before:             Answer::If(cond) => flatten_answer_tree(self.tcx(), obligation, cond, assume),
context_after:         };