syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"{"}]}
source_snippet:                             {
context_before:                                 if a.def == b.def && tcx.def_kind(a.def) == DefKind::AssocConst =>
context_after:                                 if let Ok(InferOk { obligations, value: () }) = self