syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Given a list of MIR projections, convert them to list of HIR ProjectionKind.
context_after: /// The projections are truncated to represent a path that might be captured by a