syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"PredicateKind::Ambiguous"}]}
source_snippet:             PredicateKind::Ambiguous => write!(f, "Ambiguous"),
context_before:             PredicateKind::ConstEquate(c1, c2) => write!(f, "ConstEquate({c1:?}, {c2:?})"),
context_after:             PredicateKind::NormalizesTo(p) => p.fmt(f),