syntax_data: {"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"relation.register_predicates([ty::Binder::dummy(ty::PredicateKind::Ambiguous)]);"}]}
source_snippet:                     relation.register_predicates([ty::Binder::dummy(ty::PredicateKind::Ambiguous)]);
context_before:                 TypingMode::Coherence => {
context_after:                     Ok(a)