syntax_data: {"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"elaboratable.child_with_derived_cause("}]}
source_snippet:                         elaboratable.child_with_derived_cause(
context_before:                     |(index, (clause, span)): (usize, (I::Clause, I::Span))| {
context_after:                             clause.instantiate_supertrait(cx, bound_clause.rebind(data.trait_ref)),