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