syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"BoundVarReplacer::replace_bound_vars(infcx,"}]}
source_snippet:             BoundVarReplacer::replace_bound_vars(infcx, universe_indices, value);
context_before:         let (value, mapped_regions, mapped_types, mapped_consts) =
context_after:         let result = f(value);