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