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