syntax_data: {"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":".map_bound(|witness|"}]}
source_snippet:                 .map_bound(|witness| witness.types.to_vec()),
context_before:                 .instantiate(self.infcx.tcx, args)